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

snmalloc: A message passing Allocator

David Chisnall, Sylvan Clebsch, Sophia Drossopoulou, Juliana Vicente Franco, Paul Lietar, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger

ISSM | June 2019, pp. 122-135

Project

Video

SIKE in Hardware for IoT

June 18, 2019 | Reza Azarderakhsh

Elliptic curve groups have been a popular choice in the implementation of traditional and post-quantum cryptographic schemes, including Diffie-Hellman type key-exchange protocols and digital signature algorithms. While some of these applications require to perform multidimensional…

1:13:08

Publication

Permissions Plugins as Android Apps

Nisarg Raval, Ali Razeen, Ashwin Machanavajjhala, Landon Cox, Andrew Warfield

MobiSys | June 2019

Tool

AVML (Acquire Volatile Memory for Linux)

A portable volatile memory acquisition tool for Linux. AVML is an X86_64 userland volatile memory acquisition tool written in Rust, intended to be deployed as a static binary. AVML can be used to acquire memory…

GitHub

Video

Installing Microsoft SEAL on Windows

June 4, 2019 | Kim Laine

A tutorial on how to install Microsoft SEAL on Windows.

0:05:03

Video

Installing Microsoft SEAL on Linux & macOS

June 4, 2019 | Kim Laine

A tutorial on how to install Microsoft SEAL on Linux and macOS.

Installing Microsoft SEAL on Linux & macOS

0:04:56

Video

Lattice Attacks for Variants of LWE

June 4, 2019 | Shi Bai

The learning with errors (LWE) problem introduced by Regev (STOC’05) is one of the fundamental problems in lattice-based cryptography. It has been used extensively as a security foundation, for public-key encryption, signatures, fully homomorphic encryption…

Assistant Professor, Shi Bai giving talk on Lattice Attacks for Variants of LWE

0:56:44

Video

EzPC (Easy Secure Multi-party Computation)

June 1, 2019 | Nishanth Chandran

Secure Multi-Party Computation (MPC) is a powerful cryptographic tool that allows multiple entities to execute protocols in order to compute functions on their private data without sharing their data in the clear with each other.…

0:03:26

Publication

Secured Routines: Language-based Construction of Trusted Execution Environments

Adrien Ghosn

USENIX ATC | June 2019

Publication

CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing

Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz

PLDI 2019 | June 2019

Project

Security, privacy, and cryptography

Highlights