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

Tool

SuperSolver

SuperSolver is an algorithm written in Sage/Python that solves the general supersingular isogeny problem using the Delfs-Galbraith algorithm. It accompanies the paper “SuperSolver: accelerating the Delfs-Galbraith algorithm with fast subfield root detection”, by Maria Corte-Real…

GitHub

Publication

A single gradient step finds adversarial examples on random two-layers neural networks

Sébastien Bubeck, Yeshwanth Cherapanamjeri, Gauthier Gidel, Remi Tachet des Combes

NeurIPS 2021 | December 2021

Publication

FAST: Secure and High Performance Format-Preserving Encryption and Tokenization

Betül Durak, Henning Horst, Michael Horst, Serge Vaudenay

ASIACRYPT | December 2021

Publication

Protecting Privacy through Homomorphic Encryption

Kristin Lauter, Wei Dai, Kim Laine

Published by Springer Cham | December 2021

Editor(s): Kristin Lauter, Wei Dai, Kim Laine

ISBN: 978-3-030-77287-1

Publication

Beyond Lp Norms: Delving Deeper Into Robustness to Physical Image Transformations

Vikash Sehwag, Jack W. Stokes, Cha Zhang

Military Communications Conference | November 2021

Project

Publication

Preventing Machine Learning Poisoning Attacks Using Authentication and Provenance

Jack W. Stokes, Paul England, Kevin Kane

Military Communications Conference | November 2021

Project

Publication

URLTran: Improving Phishing URL Detection Using Transformers

Pranav Maneriker, Jack W. Stokes, Edir Garcia Lazo, Diana Carutasu, Farid Tajaddodianfar, Arun Gururajan

Military Communications Conference | November 2021

Project

Publication

Tracking Adoption of Revocation and Cryptographic Features in X.509 Certificates

Maryam Zulfiqar, Muhammad Umar Janjua, Muhammad Hassan, Talha Ahmad, Tania; Saleem, Jack W. Stokes

International Journal of Information Security | November 2021

Video

Opening Remarks: The Future of Privacy and Security

November 16, 2021 | Robert Sim

Security and privacy are key components to building trust in the technologies that we use, whether that be for applications for individuals, businesses, or in government. As new challenges and threats emerge in this area,…

05:20

Video

Research talk: Can causal learning improve the privacy of ML models?

November 16, 2021 | Shruti Tople

Ensuring privacy of data used to train machine learning models is important for safe and responsible deployment of these models. At the same time, models are required to generalize across different data distributions to enable…

Shruti Tople giving research talk at Microsoft Research Summit 2021

06:11

Security, privacy, and cryptography

Highlights