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

Security of Hedged Fiat–Shamir Signatures Under Fault Attacks

Diego F. Aranha, Claudio Orlandi, Akira Takahashi, Greg Zaverucha

EUROCRYPT 2020 | May 2020

Project

Video

Harnessing the problem-solving power of quantum computing

May 7, 2020 | Anita Ramanan

Quantum computers are not only set to revolutionize the way we think about computing, but they also hold the potential to change our understanding of the world. The ability to leverage unique quantum phenomena such…

01:15:08

Webinar

Harnessing the problem-solving power of quantum computing webinar

May 7, 2020 | Virtual/Online

In this webinar, Anita Ramanan, a Senior Quantum Software Engineer at Microsoft, will take you on a quantum journey, starting with a walk-through of potential applications and continuing with an explanation of what makes quantum…

A picture of Anita Ramanan promoting her webinar available on-demand

Video

IP07: Supersingular Isogeny Graphs in Cryptography

May 4, 2020 | Kristin Lauter

IP07: Kristin Lauter: Supersingular Isogeny Graphs in Cryptography Talk given at the SIAM Conference on Applied Algebraic Geometry 2019.

01:04:16

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

Security, privacy, and cryptography

Highlights