Publication A Large Scale Study of Web Password Habits Dinei Florencio, Cormac Herley MSR-TR-2006-166 | November 2006
Publication Securing software by enforcing data-flow integrity Miguel Castro, Manuel Costa, Tim Harris Symposium on Operating Systems Design and Implementation (OSDI) | November 2006
Publication Computational Secrecy by Typing for the Pi Calculus Martin Abadi, Ricardo Corin, Cédric Fournet Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) | November 2006
Publication Forensic Analysis for Epidemic Attacks in Federated Networks Yinglian Xie the 14th IEEE International Conference on Network Protocols (ICNP 06), Santa Barbara, CA | November 2006
Publication End-to-End Containment of Internet Worm Epidemics Manuel Costa October 2006 PhD Thesis: University of Cambridge | October 2006
Publication Cache-Collision Timing Attacks Against AES Joseph Bonneau, Ilya Mironov Cryptographic Hardware and Embedded Systems—CHES 2006 | October 2006
Publication Data Collection With Self-Enforcing Privacy Philippe Golle, Frank McSherry, Ilya Mironov ACM Conference on Computer and Communications Security (CCS 2006) | October 2006 Full version to appear in the special issue of TISSEC. Project
Publication Proteus: Virtualization for Diversified Tamper-Resistance Bertrand Anckaert, Mariusz Jakubowski, Ramarathnam Venkatesan 6th ACM Workshop on Digital Rights Management | October 2006
Publication Verified Reference Implementations of WS-Security Protocols Karthik Bhargavan, Cédric Fournet, Andy Gordon Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings | September 2006 ISBN: 978-3-540-38862-3 (Print) 978-3-540-38865-4 (Online)
Publication Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP Yael Tauman Kalai, Ran Raz MSR-TR-2006-203 | September 2006 Electronic Colloquium on Computational Complexity
