Publication Typing One-to-One and One-to-Many Correspondences in Security Protocols Andy Gordon, Alan Jeffrey Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8-10, 2002 Revised Papers | June 2003 ISBN: 978-3-540-00708-1 (Print) 978-3-540-36532-7 (Online)
Publication A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities Shuo Chen, Ravishankar K. Iyer, Jun Xu, Zbigniew Kalbarczyk IEEE International Conference on Dependable Systems and Networks | June 2003
Project Samoa: Formal Tools for Securing Web Services An XML web service is, to a first approximation, a wide-area RPC service in which requests and responses are encoded in XML as SOAP envelopes, and transported over HTTP. Applications exist on the internet (for…
Publication Specifying and Verifying Hardware for Tamper-Resistant Software David Lie, John Mitchell, Chandu Thekkath, Mark Horowitz Proceedings of the 2003 IEEE Symposium on Security and Privacy | May 2003
Publication Typing Correspondence Assertions for Communication Protocols Andy Gordon, Alan Jeffrey Theoretical Computer Science | May 2003, Vol 300(1): pp. 379-409
Publication Block-Level Security for Network-Attached Disks Marcos K. Aguilera, Minwen Ji, Mark Lillibridge, John MacCormick, Erwin Oertli, Dave Anderson, Mike Burrows, Timothy Mann, Chandu Thekkath Proceedings of the 2nd Conference on File and Storage Technologies (FAST) | April 2003
Publication A Secure Signature Scheme from Bilinear Maps Ilya Mironov The Cryptographer’s Track at RSA Conference | April 2003 ISBN: 3-540-00847-0
Publication Access Control based on Execution History Cédric Fournet 10th Annual Network and Distributed System Security Symposium (NDSS’03) | February 2003
Publication Moderately Hard, Memory-bound Functions Martin Abadi, Mike Burrows, Mark Manasse, Ted Wobber Proceedings of the 10th Annual Network and Distributed System Security Symposium (NDSS) | February 2003
Publication New Direct Approaches to Robust Sound Source Localization Yong Rui, Dinei Florencio MSR-TR-2003-02 | January 2003