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

Project

CHET

CHET is a compiler and runtime that automates many parts of this process for neural network inference tasks. The compiler applies transformations based on a framework of symbolic analysis passes.

Publication

DeepFense: Online Accelerated Defense Against Adversarial Deep Learning

Bita Rouhani, Mohammad Samragh, Mojan Javaheripi, Tara Javidi, Farinaz Koushanfar

International Conference on Computer-Aided Design (ICCAD) | November 2018

Publication

Latte: Large-Scale Lateral Movement Detection

Qingyun Liu, Jack W. Stokes, Rob Mead, Tim Burrell, Ian Hellen, John Lambert, Andrey Marochko, Weidong Cui

IEEE Military Communications Conference (MILCOM) | October 2018

Project

Publication

Attack and Defense of Dynamic Analysis-Based, Adversarial Neural Malware Detection Models

Jack W. Stokes, De Wang, Mady Marinsescu, Marc Marino, Brian Bussone

IEEE Military Communications Conference (MILCOM) | October 2018

Project

Publication

Improved Bootstrapping for Approximate Homomorphic Encryption

Hao Chen, Yongsoo Song, Ilaria Chillotti

October 2018

Project

Publication

Labeled PSI from Fully Homomorphic Encryption with Malicious Security

Hao Chen, Zhicong Huang, Kim Laine, Peter Rindal

ACM SIGSAC Conference on Computer and Communications Security | October 2018

Project

Video

Microsoft Research New England 10th Anniversary Symposium – Closing Remarks

October 11, 2018 | Nicole Immorlica; Jennifer Chayes

Senior Researcher Nicole Immorlica and Managing Director Jennifer Chayes offer closing remarks for Microsoft Research New England 10th Anniversary Symposium.

06:48

Video

Microsoft Research New England 10th Anniversary Symposium – Different Disciplines, Shared Vision

October 11, 2018 | Nicole Immorlica, Christian Borgs

Senior Researcher Nicole Immorlica and Deputy Managing Director Christian Borgs offer opening remarks for Microsoft Research New England 10th Anniversary Symposium.

05:59

Video

Microsoft Research New England 10th Anniversary Symposium – Panel: Fairness, Accountability, Transparency, and Ethics

October 11, 2018 | Nicole Immorlica, Hanna Wallach, Timnit Gebru, Deborah Hellman, Adam Kalai, Mira Lane

This panel will discuss how computer science intersects with issues of fairness, accountability, transparency and ethics. Experts will discuss what these concepts mean in general and in the particular context of systems employing artificial intelligence.…

01:01:12

Publication

Logistic regression over encrypted data from fully homomorphic encryption

Hao Chen, Ran Gilad-Bachrach, Kyoohyung Han, Zhicong Huang, Amir Jalali, Kim Laine, Kristin Lauter

BMC Medical Genomics | October 2018, Vol 11(4)

Project

Security, privacy, and cryptography

Highlights