1777 search results - page 25 / 356 » Programming Cryptographic Protocols |
CCS
2001
ACM
14 years 1 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
IACR
2011
12 years 8 months ago
2011
TLS is the most important cryptographic protocol in use today. However, up to now there is no complete cryptographic security proof in the standard model, nor in any other model. ...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
CTRSA
2008
Springer
13 years 10 months ago
2008
Springer
ended abstract appeared in Proceedings of the Cryptographers' Track at the RSA Conference (CT-RSA '08)