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

Security, privacy, and cryptography

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

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

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

Published Date

Publication

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language

Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel

12th Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) | July 2020

Project

Publication

Differentially Private Set Union

Sivakanth Gopi, Pankaj Gulhane, Janardhan (Jana) Kulkarni, Judy Hanwen Shen, Milad Shokouhi, Sergey Yekhanin

International Conference on Machine Learning 2020 | July 2020

Contributed talk at TPDP 2020. Also appeared in the Journal of Privacy and Confidentiality (JPC).

Github Project

Publication

PACT: Privacy-Sensitive Protocols And Mechanisms for Mobile Contact Tracing

Justin Chan, Landon Cox, Dean Foster, Shyam Gollakota, Eric Horvitz, Joseph Jaeger, Sham Kakade, Tadayoshi Kohno, John Langford, Jonathan Larson, Puneet Sharma, Sudheesh Singanamalla, Jacob Sunshine, Stefano Tessaro

IEEE Data Engineering Bulletin | July 2020, Vol 43(2): pp. 15-35

Project

Tool

Differentially Private Set Union

This repository contains the code and dataset for the following paper: Differentially Private Set Union with Applications to Vocabulary Generation

GitHub Publication

Publication

Modeling infection methods of computer malware in the presence of vaccinations using epidemiological models: an analysis of real-world data

Elad Yom-Tov, Nir Levy, Amir Rubin

International Journal of Data Science and Analytics | June 2020

Project

Publication

CacheQuery: learning replacement policies from hardware caches

Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf

2020 Programming Language Design and Implementation | June 2020

Video

Quantum-safe cryptography: Securing today’s data against tomorrow’s computers

June 4, 2020 | Christian Paquin

As the world prepares for the advent of the quantum computer, the security community must also prepare to defend against it. Most of the cryptography currently in use succumbs to quantum attacks. Although quantum computers…

56:38

Webinar

Quantum-safe cryptography: Securing today’s data against tomorrow’s computers webinar

June 4, 2020 | Virtual/Online

In this webinar, Principal Program Manager Christian Paquin, a cryptography specialist in the Security and Cryptography group at Microsoft Research, will present recent progress in the development of a quantum-safe cryptography. Quantum-safe cryptography is being…

Picture of christian paquin promoting his ondemand webinar on quantum safe

Publication

Privacy Preserving Phishing WebPage Classification Via Fully Homomorphic encryption

Jack W. Stokes, Kim Laine

IEEE ICASSP | June 2020

Publication

EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation

Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi

PLDI 2020 | June 2020

Security, privacy, and cryptography

Highlights