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

Theory and Practice of Finding Eviction Sets

Pepe Vila, Boris Köpf, José F. Morales

IEEE Symposium on Security and Privacy | May 2019

Project Project

Publication

CHERI Concentrate: Practical Compressed Capabilities

Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony Fox, Robert Norton-Wright, Thomas Bauereiss, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore

IEEE Transactions on Computers | April 2019

Project

Publication

Detecting Cyber Attacks Using Anomaly Detection with Explanations and Expert Feedback

Amran Siddiqui, Jack W. Stokes, Christian Seifert, Evan Argyle, Robert McCann, Joshua Neil, Justin Carroll

2019 International Conference on Acoustics, Speech, and Signal Processing | April 2019

Publication

Universally Composable Secure Two and Multi-party Computation in the Corruptible Tamper-Proof Hardware Token Model

Nishanth Chandran, Wutichai Chongchitmate, Rafail Ostrovsky, Ivan Visconti

CRYPTO 2019 | April 2019

Publication

Misuse Attacks on Post-quantum Cryptosystems

Betül Durak, Ciprian Baetu, Lois Huguein-Dumittan, Abdullah Talaylan, Serge Vaudenay

EUROCRYPT | April 2019

Publication

CCF: A Framework for Building Confidential Verifiable Replicated Services

Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger

MSR-TR-2019-16 | April 2019

Published by Microsoft

Github Project

Publication

DeepSigns: An End-to-End Watermarking Framework for Protecting the Ownership of Deep Neural Networks

Bita Darvish Rouhani, Huili Chen, Farinaz Koushanfar

Architectural Support for Programming Languages and Operating Systems (ASPLOS) | April 2019

Publication

Wys*: A DSL for Verified Secure Multi-party Computations

Aseem Rastogi, Nikhil Swamy, Michael Hicks

Principles of Security and Trust (POST 2019) | April 2019

Project

Publication

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment

Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, James Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert Norton-Wright, Michael Roe, Peter Sewell, Stacey Son, Jonathan Woodruff

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems | April 2019

Best paper award winner

Project

Group

Azure Research – Security and Privacy

Security and privacy are arguably the most significant concerns for enterprises and consumers using public cloud platforms. The confidential computing theme at Microsoft Research Cambridge has been conducting pioneering research in the design of systems…

Security, privacy, and cryptography

Highlights