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

Efficient Lifting for Shorter Zero-Knowledge Proofs and Post-Quantum Signatures

Greg Zaverucha

May 2022

Project Project

Microsoft Research Blog

FLUTE: A scalable federated learning simulation platform

May 16, 2022 | Dimitrios Dimitriadis, Mirian Hipolito Garcia, Daniel Eduardo Madrigal Diaz, Andre Manoel, Robert Sim

Federated learning has become a major area of machine learning (ML) research in recent years due to its versatility in training complex models over massive amounts of data without the need to share that data…

This diagram shows a payload exchange between a server, inside Worker 0, and clients that live inside Workers 2 and 3. First, the server pushes the central ML model plus the clients’ data to Workers 2 and 3. Then, each client trains the model with their local data. Finally, the clients send the pseudo-gradients of this new model back to the server for aggregation and the creation of a new global model.

Publication

A Static Analysis Framework for Data Science Notebooks

Pavle Subotić, Lazar Milikić, Milan Stojić

2022 International Conference on Software Engineering | May 2022

Project

Publication

Decentralized Society: Finding Web3’s Soul

E. Glen Weyl, Puja Ohlhaver, Vitalik Buterin

May 2022

Publication

InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript

Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer

ICSE 2022 | May 2022

Software Engineering in Practice SEIP Track

Video Project

Video

Guidelines for Assessing and Minimizing Risks of Emotion Recognition Applications [Video]

May 6, 2022 | Javier Hernandez

Society has witnessed a rapid increase in the adoption of commercial uses of emotion recognition. Tools that were traditionally used by domain experts are now being used by individuals who are often unaware of the…

13:20

Publication

Microsoft New Future of Work Report 2022

Jaime Teevan, Nancy Baym, Jenna Butler, Brent Hecht, Sonia Jaffe, Kate Nowak, Abigail Sellen, Longqi Yang, Marcus Ash, Kagonya Awori, Mia Bruch, Piali Choudhury, Adam Coleman, Scott Counts, Shiraz Cupala, Mary Czerwinski, Ed Doran, Elizabeth Fetterolf, Mar Gonzalez Franco, Kunal Gupta, Aaron L Halfaker, Constance Hadley, Brian Houck, Kori Inkpen, Shamsi Iqbal, Eric Knudsen, Stacey Levine, Siân Lindley, Jennifer Neville, Jacki O'Neill, Rick Pollak, Victor Poznanski, Sean Rintel, Neha Parikh Shah, Siddharth Suri, Adam D. Troy, Mengting Wan

MSR-TR-2022-3 | May 2022

Published by Microsoft

Video Video Video Video Video Video Project Project Project Project

Publication

Microsoft CloudMine: Data Mining for the Executive Order on Improving the Nation’s Cybersecurity

Kim Herzig, Luke Gostling, Maximilian Grothusmann, Nora Huang, Sascha Just, Alan Klimowski, Yashasvini Ramkumar, Myles McLeroy, Kivanc Muslu, Hitesh Sajnani, Varsha Vadaga

May 2022

Publication

HardLog: Practical Tamper-Proof System Auditing Using a Novel Audit Device

Adil Ahmad, Sangho Lee, Marcus Peinado

43rd IEEE Symposium on Security and Privacy (Oakland 2022) | May 2022

Publication

ReMoS: Reducing Defect Inheritance in Transfer Learning via Relevant Model Slicing

Ziqi Zhang, Yuanchun Li, Jindong Wang, Bingyan Liu, Ding Li, Xiangqun Chen, Yao Guo, Yunxin Liu

ICSE 2022 | May 2022

Security, privacy, and cryptography

Highlights