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

Network Oblivious Transfer

Ranjit Kumaresan, Srinivasan Raghuraman, Adam Sealfon

Lecture Notes in Computer Science (LNCS) | July 2016

Video

System Design for Cloud Services – Afternoon Session

July 15, 2016 | Benjamin Lee, Adam Weirman, Doug Burger, Doug Carmean, Ion Stoica

1:00pm Rethinking Systems Management with Game Theory Benjamin Lee, Duke University Data Markets in the Cloud: Pricing, Privacy, and Versioning Adam Wierman, California Institute of Technology How to Think about Hyperscale Architecture Doug Burger, Microsoft…

1:32:48

Event

System Design for Cloud Services

July 15, 2016 | Redmond, WA, USA

System Design for Cloud Services was part of the Microsoft Research Faculty Summit 2016.

Microsoft Research Blog

Microsoft Research Faculty Summit opens

July 14, 2016

By Harold Javid, General Chair, Faculty Summit Microsoft Research’s annual Faculty Summit opened Wednesday with a series of talks about how technological innovation can benefit both business and society. In a fireside chat with Jeannette M. Wing,…

Video

Personal Control of Data

July 13, 2016 | Butler Lampson

People around the world are concerned that more and more of their personal data is on the Internet, where it’s easy to find, copy, and link up with other data. Data about people’s presence and…

1:07:22

Publication

Oblivious Multi-Party Machine Learning on Trusted Processors

Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa

The 25th USENIX Security Symposium 2016 | July 2016

Project Project

Video

Verifiable Functional Encryption

July 12, 2016 | Saikrishna Badrinarayanan

In light of security challenges that have emerged in a world with complex networks and cloud computing, the notion of functional encryption has recently emerged. In this work, we show that in several applications of…

0:47:31

Video

Build It, Break It, Fix It: Contesting Secure Development

July 11, 2016 | Michael Hicks

Typical security contests focus on breaking or mitigating the impact of buggy systems. I will present the Build-it, Break- it, Fix-it (BIBIFI) contest, which aims to assess the ability to securely build software, not just…