Logics for Reasoning about Cryptographic Constructions (2003)

Cached

Download Links

by Russell Impagliazzo , Bruce M. Kapron
Venue:In Proc. 44th IEEE Symposium on Foundations of Computer Science
Citations:25 - 1 self

Active Bibliography

641 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
802 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier
1156 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
454 Non-Malleable Cryptography – Danny Dolev, Cynthia Dwork, Moni Naor - 2000
734 Pseudo-Random Generation from One-Way Functions – Johan Håstad, Russell Impagliazzo, Leonid A. Levin, Michael Luby - 1988
785 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
1360 Random Oracles are Practical: A Paradigm for Designing Efficient Protocols – Mihir Bellare, Phillip Rogaway - 1995
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998