Sciweavers

3504 search results - page 28 / 701
» Secure protocol composition
Sort
View
CCS
1997
ACM
15 years 10 months ago
A Calculus for Cryptographic Protocols: The Spi Calculus
Martín Abadi, Andrew D. Gordon
143
Voted
CSFW
1994
IEEE
15 years 10 months ago
A Model of Computation for the NRL Protocol Analyzer
Catherine Meadows
136
Voted
CCS
1993
ACM
15 years 10 months ago
Random Oracles are Practical: A Paradigm for Designing Efficient Protocols
Mihir Bellare, Phillip Rogaway
FOSAD
2000
Springer
15 years 10 months ago
The Logic of Authentication Protocols
Paul F. Syverson, Iliano Cervesato
ACISP
2010
Springer
15 years 7 months ago
Additive Combinatorics and Discrete Logarithm Based Range Protocols
Rafik Chaabouni, Helger Lipmaa, Abhi Shelat