Publication Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) Martin Abadi, Phillip Rogaway Journal of Cryptology | January 2002, Vol 20(3): pp. 395
Publication Statistical Identification of Encrypted Web Browsing Traffic Qixiang Sun, Daniel R. Simon, Yi-Min Wang, Wilf Russell, Venkat Padmanabhan, Lili Qiu IEEE Symposium on Security and Privacy | January 2002
Publication Typing Correspondence Assertions for Communication Protocols Andy Gordon, Alan Jeffrey Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001) | November 2001
Publication Authenticity by Typing for Security Protocols Andy Gordon, Alan Jeffrey MSR-TR-2001-49 | June 2001 ISBN: 0-7695-1147-3 14th IEEE Computer Security Foundations Workshop (CSFW 2001)
Publication Hash Functions: From Merkle-DamgÃ¥rd to Shoup Ilya Mironov Advances in Cryptology—EUROCRYPT 2001 | May 2001 ISBN: 3-540-42070-3
Publication Key Compression and its Application to Digital Fingerprinting Josh Benaloh MSR-TR-2001-121 | April 2001 Published by Microsoft
Publication Practical Byzantine Fault Tolerance Miguel Castro January 2001 PhD Thesis: Massachusetts Institute of Technology | January 2001 George M. Sprowls Award
Publication Constructing elliptic curves with a given number of points over a finite field Amod Agashe, Kristin Lauter, Ramarathnam Venkatesan Fields Insitute Communications Series, Volume 42, High Primes and Misdemeanours: lectures in honour of the 60th birthday of Hugh Cowie Williams | January 2001 Project
Publication Improved Online/Offline Signature Schemes Adi Shamir, Yael Tauman Kalai Advances in Cryptology – CRYPTO 2001: Lecture Notes in Computer Science | January 2001
Publication A Note on Cryptanalysis of the Preliminary Version of the NTRU Signature Scheme Ilya Mironov January 2001