Publication Types and Effects for Asymmetric Cryptographic Protocols Andy Gordon, Alan Jeffrey MSR-TR-2002-31 | June 2002 15th IEEE Computer Security Foundations Workshop (CSFW 2002)
Publication A Public Web Services Security Framework Based on Current and Future Usage Scenarios J.Thelin, P.J. Murray, Jorgen Thelin Proceedings of the International Conference on Internet Computing – IC’02 | June 2002
Publication Quantitatively Differentiating System Security Stuart Schechter The First Workshop on the Economics of Information Security | May 2002
Publication Computing rate-distortion optimized policies for streaming media to wireless clients Jacob Chakareski, Philip A. Chou, Behnaam Aazhang, Philip A. Chou Proc. Data Compression Conference | April 2002
Publication Statistical Identification of Encrypted Web Browsing Traffic Qixiang Sun, Daniel R. Simon, Yi-Min Wang, Wilf Russell, Venkat Padmanabhan, Lili Qiu MSR-TR-2002-23 | March 2002
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)
