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

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

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

Publication

Revizor: Testing Black-box CPUs against Speculation Contracts

Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein

27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’22) | March 2022

IEEE MICRO Top Pick

Video Video Github Project

Publication

Private Convex Optimization via Exponential Mechanism

Sivakanth Gopi, Yin Tat Lee, Daogao Liu

COLT 2022 | March 2022

Project

Publication

The Price of Secrecy: How Hiding Internal DRAM Topologies Hurts Rowhammer Defenses

Stefan Saroiu, Alec Wolman, Lucian Cojocar

International Reliability Physics Symposium | February 2022

Project

Publication

‘Ice phishing’ on the blockchain

Christian Seifert

February 2022

Blog | February 2022

Video

Developer Tech Minutes: SMART Health Cards

February 10, 2022 | Karen Easterbrook

The SMART Health Cards framework is an open specification for an electronic version of a medical record. In this episode, learn about the technology behind SMART Health Cards and how they enable individuals to own…

Allie Raye standing in front of a computer screen

10:29

Microsoft Research Blog

Advancing AI trustworthiness: Updates on responsible AI research

February 1, 2022 | Mihaela Vorvoreanu, Kathy Walker

Inflated expectations around the capabilities of AI technologies may lead people to believe that computers can’t be wrong. The truth is AI failures are not a matter of if but when. AI is a human…

Security, privacy, and cryptography

Highlights