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

People

Published Date

Publication

EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin

IEEE Symposium on Security and Privacy | May 2020

Video Access Github Project

Publication

Spectector: Principled Detection of Speculative Information Flows

Marco Guarnieri, Boris Köpf, Jose F. Morales, Jan Reineke, Andres Sanchez

IEEE Symposium on Security and Privacy | May 2020

Project Project

Publication

privGAN: Protecting GANs from membership inference attacks at low cost

Sumit Mukherjee, Yixi Xu, Anusua Trivedi, Juan M. Lavista Ferres

May 2020

Under major revision at PETS

Publication

Cornucopia: Temporal Safety for CHERI Heaps

Nathaniel Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. Jones, Simon Moore, Peter G. Neumann, Robert N. M. Watson

IEEE Symposium on Security and Privacy | May 2020

Project

Publication

Low Error Efficient Computational Extractors in the CRS Model

Ankit Garg, Yael Tauman Kalai, Dakshita Khurana

Advances in Cryptology – EUROCRYPT 2020 | May 2020

Publication

Blind Schnorr Signatures and Signed ElGamal Encryption in the Algebraic Group Model

Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin

Eurocrypt 2020 | May 2020

Publication

Improved Classical Cryptanalysis of SIKE in Practice

Craig Costello, Patrick Longa, Michael Naehrig, Joost Renes, Fernando Virdia

PKC 2020 | April 2020

Project

Publication

Autarky: Closing controlled channels with self-paging enclaves

Meni Orenbach, Andrew Baumann, Mark Silberstein

EuroSys | April 2020

Publication

SEVurity: No Security Without Integrity : Breaking Integrity-Free Memory Encryption with Minimal Assumptions

Luca Wilke, Jan Wichelmann, M. Morbitzer, T. Eisenbarth

2020 IEEE Symposium on Security and Privacy (SP) | April 2020, pp. 1483-1496

Video

Microsoft ElectionGuard—enabling voters to verify that their votes are correctly counted

April 16, 2020 | Josh Benaloh

Microsoft ElectionGuard provides a free, open-source software toolkit, which can be used in new and existing election systems to allow voters to verify that their votes have been accurately counted. Voters can check for themselves…

01:00:53

Security, privacy, and cryptography

Highlights