35 search results - page 2 / 7 » LOKI - A Cryptographic Primitive for Authentication and Secr... |
IEEEARES
2008
IEEE
14 years 21 days ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
EUROCRYPT
2007
Springer
14 years 13 days ago
2007
Springer
Feistel Network, consisting of a repeated application of the Feistel Transform, gives a very convenient and popular method for designing “cryptographically strong” permutations...
ESORICS
2007
Springer
14 years 13 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
CSFW
2008
IEEE
14 years 22 days ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...