Security, privacy, and cryptography

Microsoft Research Blog

Microsoft Research Unveils Technologies to Improve the Web Experience

May 8, 2007

By Rob Knies, Managing Editor, Microsoft Research Battling search spam. Streamlining Web-page monitoring. Helping protect online privacy. Enabling the illiterate to use computers. These are just a few of the ways Microsoft Research is demonstrating…

Publication

Medina: Combining Evidence to Build Trust

Johannes Helander, Ben Zorn

Web 2.0 Security and Privacy, in conjunction with IEEE Symposium on Security and Privacy | May 2007

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

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

Microsoft Research Unveils Technologies to Improve the Web Experience

Medina: Combining Evidence to Build Trust

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

Security, privacy, and cryptography

Highlights