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

Video

Private AI: Machine Learning on Encrypted Data [Keynote]

May 4, 2020 | Kristin Lauter

As the world adopts Artificial Intelligence, the privacy risks are many. AI can improve our lives, but may leak or misuse our private data. Private AI is based on Homomorphic Encryption (HE), a new encryption…

Kristin Lauter giving Keynote talk at FICC

45:50

Publication

Privacy-Preserving Phishing Web Page Classification Via Fully Homomorphic Encryption

Edward J. Chou, Arun Gururajan, Kim Laine, Nitin Kumar Goel, Anna Bertiger, Jack W. Stokes

International Conference on Acoustics, Speech, and Signal Processing | May 2020

Publication

Detection of Malicious Vbscript Using Static and Dynamic Analysis with Recurrent Deep Learning

Jack W. Stokes, Rakshit Agrawal, Geoff McDonald

IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) | May 2020

Publication

Texception: A Character/Word-Level Deep Learning Model for Phishing URL Detection

Farid Tajaddodianfar, Jack W. Stokes, Arun Gururajan

International Conference on Acoustics, Speech, and Signal Processing | May 2020

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

Security, privacy, and cryptography

Highlights