Publication A Systematic Approach to Uncover GUI Logic Flaws for Web Security Shuo Chen, Jose Meseguer, Ralf Sasse, Helen Wang, Yi-Min Wang MSR-TR-2006-182 | December 2006
Publication KLASSP: Entering Passwords on a Spyware Infected Machine Using a Shared-Secret Proxy Dinei Florencio, Cormac Herley December 2006
Publication Protecting Privacy in Key-Value Search Systems Yinglian Xie The 2006 Annual Computer Security Applications Conference (ACSAC 06), Miami Beach, FL | December 2006
Publication Detecting Stealth Web Pages That Use Click-Through Cloaking Yi-Min Wang, Ming Ma MSR-TR-2006-178 | December 2006
Publication A Large Scale Study of Web Password Habits Dinei Florencio, Cormac Herley MSR-TR-2006-166 | 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 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 Securing software by enforcing data-flow integrity Miguel Castro, Manuel Costa, Tim Harris Symposium on Operating Systems Design and Implementation (OSDI) | November 2006
Publication SPACE: Secure Protocol for Address-Book based Connection Establishment Ganesh Ananthanarayanan, Ramarathnam Venkatesan, Prasad Naldurg, Sean Blagsvedt, Adithya Hemakumar ACM HotNets | November 2006
Publication End-to-End Containment of Internet Worm Epidemics Manuel Costa October 2006 PhD Thesis: University of Cambridge | October 2006
Research
Research