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

Transparency Dictionaries with Succinct Proofs of Correct Operation

Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty

NDSS 2022 | April 2022

Publication

A Large-Scale Measurement of Cybercrime Against Individuals

Casey Breen, Cormac Herley, Elissa M. Redmiles

CHI 2022 | April 2022

Publication

Minimax Optimality (Probably) Doesn’t Imply Distribution Learning for GANs

Sitan Chen, Jerry Li, Yuanzhi Li, Raghu Meka

ICLR 2022 | April 2022

Video

Confidential Computing Research at Microsoft Research

March 29, 2022 | Cedric Fournet

Microsoft Swiss Joint Research Center – Day 1 | AI, Confidential Computing, Health, Cloud and Systems The Applied Machine Learning Days channel features talks and performances from the Applied Machine Learning Days. AMLD is one…

27:05

Event

Swiss Joint Research Center Workshop 2022

March 29, 2022 – March 30, 2022 | Lausanne, Switzerland

This two-day Workshop brought together PhD students and postdocs working on collaborative research projects between academia and Microsoft via the Swiss Joint Research Center, Mixed Reality & AI Zurich Lab, Mixed Reality & AI Cambridge Lab (opens in…

Joint Research Centre Workshop 2021 header image

Event

Microsoft at AMLD EPFL 2022

March 26, 2022 – March 30, 2022 | Lausanne, Switzerland

Microsoft is excited to be a platinum partner of Applied Machine Learning Days, a global platform for AI and Machine Learning from March 26 – 30, 2022 at the Swiss Tech Convention Centre, Lausanne, Switzerland.…

Publication

FLUTE: A Scalable, Extensible Framework for High-Performance Federated Learning Simulations

Dimitrios Dimitriadis, Mirian Hipolito Garcia, Daniel Madrigal, Andre Manoel, Robert Sim

March 2022

Github Project

Microsoft Research Blog

Powering the next generation of trustworthy AI in a confidential cloud using NVIDIA GPUs

March 22, 2022 | Kapil Vaswani, Antoine Delignat-Lavaud, Stavros Volos, Cédric Fournet, Manuel Costa

Cloud computing is powering a new age of data and AI by democratizing access to scalable compute, storage, and networking infrastructure and services. Thanks to the cloud, organizations can now collect data at an unprecedented…

Graphic showing the process of how encrypted data is transferred between the GPU drive and the GPU through a secure channel. The GPU driver on the host CPU and the SEC2 microcontroller on the NVIDIA A100 Tensor Core GPU work together to achieve end-to-end encryption of data transfers

Group

Microsoft 365 Defender Research

Machine learning and AI Innovation at Microsoft Security Research The cybersecurity landscape has fundamentally changed, as evidenced by diverse, large-scale, and complex attacks in the recent past. Adversaries have grown in volume, velocity and sophistication,…

Publication

COVID-19 Information-Tracking Solutions: A Qualitative Investigation of the Factors Influencing People’s Adoption Intention

Yue Huang, Borke Obada-Obieh, Elissa M. Redmiles, Satya Lokam, K. Beznosov

Proceedings of the 2022 Conference on Human Information Interaction and Retrieval | March 2022

Security, privacy, and cryptography

Highlights