Security, privacy, and cryptography

Publication

A Systematic Approach to Uncover Security Flaws in GUI Logic

Shuo Chen, Ralf Sasse, Jose Meseguer, Helen Wang, Yi-Min Wang

Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2007

Proceedings of the IEEE Symposium on Security and Privacy (Oakland)

Publication

Spectator: Detection and Containment of JavaScript Worms

Ben Livshits, Weidong Cui

MSR-TR-2007-55 | May 2007

Publication

On Failure Detectors Weaker Than Ever

Wei Chen, Yu Chen, Jialin Zhang

MSR-TR-2007-50 | May 2007

Publication

ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing

Weidong Cui, Marcus Peinado, Helen Wang, Michael Locasto

2007 IEEE Symposium on Security and Privacy | May 2007

Publication

A Large-Scale Study of Web Password Habits

Dinei Florencio, Cormac Herley

Proceedings of the 16th international conference on the World Wide Web | May 2007

Video

A Crowd of One: The Future of Individual Identity

April 24, 2007 | John Henry Clippinger

How do I know you are who you say you are? Why should I trust you? Where do we get our identities, our sense of who we are? What happens when our identities become digital?…

John Henry Clippinger Jr. looking at the camera

01:11:05

Publication

Fine Grained Authorization Through Predicated Grants

Surajit Chaudhuri, Tanmoy Dutta, S Sudarshan

IEEE International Conference on Data Engineering | April 2007

IEEE International Conference on Data Engineering

Publication

SAV-V: Securing Anti-Virus with Virtualization

Jay Lorch, Bryan Parno, Helen Wang

MSR-TR-2011-101 | April 2007

Publication

Joint Traffic Routing and Distribution of Security Services in High Speed Networks

A. Hess, Sudipta Sengupta, V. P. Kumar

April 2007

ISBN: 978-1-4244-2025-4

Publication

Progress in Cryptology – LATINCRYPT 2015 – 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

April 2007

ISBN: 978-3-319-22173-1

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

A Systematic Approach to Uncover Security Flaws in GUI Logic

Spectator: Detection and Containment of JavaScript Worms

On Failure Detectors Weaker Than Ever

ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing

A Large-Scale Study of Web Password Habits

A Crowd of One: The Future of Individual Identity

Fine Grained Authorization Through Predicated Grants

SAV-V: Securing Anti-Virus with Virtualization

Joint Traffic Routing and Distribution of Security Services in High Speed Networks

Progress in Cryptology – LATINCRYPT 2015 – 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

Security, privacy, and cryptography

Highlights