illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, and cryptography

lock icon on green background

Leveraging Large Language Models for Automated Proof Synthesis in Rust

photos of PhD students Anunay Kulshrestha and Karan Newatia with a photo of Senior Cryptographer Josh Benaloh in the middle with a microphone icon on a blue and purple gradient background

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

Bayes Security (β*, higher better) of DP-SGD against membership and attribute inference on the Adult and Purchase datasets as a function of the number of training steps. The green dashed line shows the corresponding DP budget (ε). Membership and attribute inference curves decrease monotonically as the model is trained for longer and the accuracy and DP budget grow.

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

MSR Systems Networking Graphic

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

Current selections

Sort by: Most recent

Clear selections

Group

Cryptography and Complexity

Researchers in the area of Cryptography and Complexity investigate theoretical and applied aspects of cryptography, computational complexity, and related areas of mathematics. Specific interests include complexity bounds in arithmetic and Boolean models of computation, coding…

Video

Homomorphic Encryption from Ring Learning with Errors

January 10, 2012 | Michael Naehrig

The prospect of outsourcing an increasing amount of data storage and management to cloud services raises many new privacy concerns that can be satisfactorily addressed if users encrypt the data they send to the cloud.…

a person posing for the camera

Publication

Symbolic Finite State Transducers: Algorithms and Applications

Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits

POPL’12 | January 2012

Publication

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols

José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephen Krenn, Santiago Zanella-Béguelin

19th ACM Conference on Computer and Communications Security, CCS 2012 | January 2012

19th ACM Conference on Computer and Communications Security, CCS 2012

Publication

Improved CRT Algorithm for Class Polynomials in Genus 2

Kristin Lauter, Damien Robert

Algorithmic Number Theory Symposium, ANTS-X 2012 | January 2012

Publication

Smooth Projective Hashing and Two-Message Oblivious Transfer

Shai Halevi, Yael Tauman Kalai

Journal of Cryptology | January 2012, Vol 25: pp. 158-193

Publication

Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin

11th International Conference on Mathematics of Program Construction, MPC 2012 | January 2012

Publication

Foundations of trust management

Mo Becker

IEEE Symposium on Security and Privacy | January 2012

Publication

Probabilistic Reasoning for Differential Privacy

Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella-Béguelin

39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012 | January 2012

Publication

On The Security Of Querying Encrypted Data

Arvind Arasu, Raghav Kaushik, Ravi Ramamurthy

January 2012

Your Privacy Choices