Security, privacy, & cryptography

Publication

Making P2P Accountable Without Losing Privacy

Mira Belenkiy, Melissa Chase, C. Chris Erway, John Jannotti, Alptekin Kupcu, Anna Lysyanskaya, Erin Rachlin

Workshop on Privacy in Electronic Society | January 2007

Publication

Practical Principles for Computer Security

NATO Security through Science Series – D: Information and Communication Security, Software System Reliability and Security | January 2007

Proceedings of the 2006 Marktoberdorf Summer school.

Publication

KLASSP: Enterring Passwords from a Spyware Infected Machine

Dinei Florencio, Cormac Herley

MSR-TR-2006-74 | December 2006

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

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

A Large Scale Study of Web Password Habits

Dinei Florencio, Cormac Herley

MSR-TR-2006-166 | 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

Security, privacy, & cryptography

Verifying Rust cryptography in SymCrypt, from standards to code

Vega: Zero-knowledge proofs for digital identity in the age of AI

Ire identifies another LOTUSLITE specimen

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Making P2P Accountable Without Losing Privacy

Practical Principles for Computer Security

KLASSP: Enterring Passwords from a Spyware Infected Machine

A Systematic Approach to Uncover GUI Logic Flaws for Web Security

KLASSP: Entering Passwords on a Spyware Infected Machine Using a Shared-Secret Proxy

Protecting Privacy in Key-Value Search Systems

Detecting Stealth Web Pages That Use Click-Through Cloaking

Forensic Analysis for Epidemic Attacks in Federated Networks

A Large Scale Study of Web Password Habits

Computational Secrecy by Typing for the Pi Calculus

Security, privacy, & cryptography

Highlights