Security, privacy, and cryptography

Publication

Towards practical reactive security audit using extended static checkers

Julien Vanegue, Shuvendu Lahiri

IEEE Symposium on Security and Privacy (Oakland’13) | May 2013

Project

Publication

Fast Cryptography in Genus 2

Joppe Bos, Craig Costello, Kristin Lauter

Eurocrypt 2013 | May 2013

Publication

Security Implications of Password Discretization for Click-based Graphical Passwords

Bin Benjamin Zhu, Dongchen Wei, Maowei Yang, Jeff Yan

May 2013

Publication

Taking Data Exposure into Account: How Does It Affect the Choice of Sign-in Accounts?

Shahar Ronen, Oriana Riva

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI ’13) | May 2013

Publication

Global Authentication in an Untrustworthy World

Martin Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie

14th Workshop on Hot Topics in Operating Systems (HotOS XIV) | May 2013

Publication

A Hybrid Architecture for Interactive Verifiable Computation

Victor Vu, Srinath Setty, Andrew J. Blumberg, Michael Walfish

Symposium on Security and Privacy (S&P) | May 2013

Publication

I Know the Shortened URLs You Clicked on Twitter: Inference Attack using Public Click Analytics and Twitter Metadata

Jonghyuk Song, Sangho Lee, Jong Kim

22nd International World Wide Web Conference (WWW 2013) | May 2013

Publication

Resolving the Conflict Between Generality and Plausibility in Verified Computation

Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish

Proceedings of the ACM European Conference on Computer Systems (EuroSys) | April 2013

Project

Publication

ZÃ˜: An Optimizing Distributing Zero-Knowledge Compiler

Matthew Fredrikson, Benjamin Livshits, Ben Livshits

MSR-TR-2013-43 | April 2013

added

Publication

Embassies: Radically Refactoring the Web

Jon Howell, Bryan Parno, John (JD) Douceur

Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI) | April 2013

Best Paper Award

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

Towards practical reactive security audit using extended static checkers

Fast Cryptography in Genus 2

Security Implications of Password Discretization for Click-based Graphical Passwords

Taking Data Exposure into Account: How Does It Affect the Choice of Sign-in Accounts?

Global Authentication in an Untrustworthy World

A Hybrid Architecture for Interactive Verifiable Computation

I Know the Shortened URLs You Clicked on Twitter: Inference Attack using Public Click Analytics and Twitter Metadata

Resolving the Conflict Between Generality and Plausibility in Verified Computation

ZÃ˜: An Optimizing Distributing Zero-Knowledge Compiler

Embassies: Radically Refactoring the Web

Security, privacy, and cryptography

Highlights