154 search results - page 6 / 31 » Proving Group Protocols Secure Against Eavesdroppers |
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
PKC
2012
Springer
13 years 4 days ago
2012
Springer
We identify a potential weakness in the standard security model for dynamic group signatures which appears to have been overlooked previously. More specifically, we highlight tha...
EUROCRYPT
1998
Springer
15 years 2 months ago
1998
Springer
For the most compelling applications of threshold cryptosystems, security against chosen ciphertext attack is a requirement. However, prior to the results presented here, there ap...
CARDIS
2006
Springer
15 years 1 months ago
2006
Springer
We propose a protocol that can be used between an RFID tag and a reader to exchange a secret without performing any expensive computation. Similarly to the famous blocker tag sugge...
MOBISYS
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a new pairing protocol that allows two CPU-constrained wireless devices Alice and Bob to establish a shared secret at a very low cost. To our knowledge, this i...