8,979 research outputs found
Lengths May Break Privacy â Or How to Check for Equivalences with Length
Security protocols have been successfully analyzed using symbolic models, where messages are represented by terms and protocols by processes. Privacy properties like anonymity or untraceability are typically expressed as equivalence between processes. While some decision procedures have been proposed for automatically deciding process equivalence, all existing approaches abstract away the information an attacker may get when observing the length of messages.
In this paper, we study process equivalence with length tests. We first show that, in the static case, almost all existing decidability results (for static equivalence) can be extended to cope with length tests.
In the active case, we prove decidability of trace equivalence with length tests, for a bounded number of sessions and for standard primitives. Our result relies on a previous decidability result from Cheval et al (without length tests). Our procedure has been implemented and we have discovered a new flaw against privacy in the biometric passport protocol
Spectral evolution of the SU(4) Kondo effect from the single impurity to the two-dimensional lattice
We describe the evolution of the SU(4) Kondo effect as the number of magnetic
centers increases from one impurity to the two-dimensional (2D) lattice. We
derive a Hubbard-Anderson model which describes a 2D array of atoms or
molecules with two-fold orbital degeneracy, acting as magnetic impurities and
interacting with a metallic host. We calculate the differential conductance,
observed typically in experiments of scanning tunneling spectroscopy, for
different arrangements of impurities on a metallic surface: a single impurity,
a periodic square lattice, and several sites of a rectangular cluster. Our
results point towards the crucial importance of the orbital degeneracy and
agree well with recent experiments in different systems of iron(II)
phtalocyanine molecules deposited on top of Au(111) [N. Tsukahara et al., Phys.
Rev. Lett. 106, 187201 (2011)], indicating that this would be the first
experimental realization of an artificial 2D SU(4) Kondo-lattice system.Comment: 17 pages, 4 figures. New version contains an Appendix with details of
the derivation of the Hamiltonian Eq.(2), derivation of the slave-boson
mean-field equations, and an estimation of the upper bounds of the RKKY
interactio
- âŠ