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

People

Published Date

Publication

Source Models Leak What They Shouldn’t: Unlearning Zero-Shot Transfer in Domain Adaptation Through Adversarial Optimization

Arnav Devalapally, Poornima Jain, Kartik Srinivas, Vineeth N Balasubramanian

2026 Computer Vision and Pattern Recognition | June 2026

Publication

Rollbaccine : Herd Immunity against Storage Rollback Attacks in TEEs

David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli

2026 International Conference on Management of Data | May 2026

Publication

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos

2026 IEEE Symposium on Security and Privacy | May 2026

Accepted at IEEE SP 2025, publication delayed due to embargo.

Project

Provenance for Trustworthy Digital Media

Cryptographically securing the authenticity of digital assets As generative AI accelerates the creation of realistic synthetic media (e.g., photos, videos, audio, documents), it is increasingly difficult for people and platforms to distinguish authentic content from…

Career Opportunity

Principal Applied Scientist – Ads Trust and Safety team

Posted: April 6, 2026

Location: Bangalore, Karnataka, India

Research Area(s): Algorithms, Artificial intelligence, Security, privacy, and cryptography

As the advertising ecosystem expands, sophisticated adversarial actors are leveraging generative AI, automation, and distributed infrastructure to bypass safety controls. The Ads Trust and Safety team requires a Principal Applied Scientist to contribute to the…

Publication

The Art of Building Verifiers for Computer Use Agents

Corby Rosset, Pratyusha Sharma, Andrew Zhao, M. González-Fernández, Ahmed Awadallah

April 2026

Publication

HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation

Claudius Pott, Luca Wilke, Jan Wichelmann, Thomas Eisenbarth

March 2026

Publication

Detecting speculative leaks with compositional semantics

Xaver Fabian, Marco Guarnieri, Boris Köpf, J. Morales, Marco Patrignani, Jan Reineke, Andrés Sánchez

March 2026

Career Opportunity

Post Doc Researcher

Posted: February 6, 2026

Research Area(s): Artificial intelligence, Security, privacy, and cryptography, Systems and networking

Microsoft Research India (MSR India) is inviting applications for Postdoctoral Researcher positions. The postdoc program at MSR India provides postdoctoral researchers an opportunity to work on impactful research problems while collaborating closely with Microsoft researchers…

Publication

An Agentic Multi-Agent Architecture for Cybersecurity Risk Management

Ravi Gupta, Saket Kumar, Shreeya Sharma, Maulik Dang, Abhishek Aggarwal BigCommerce, U. A. Buffalo, The State University of New York, Buffalo, Ny, Usa, Microsoft, Amazon

March 2026

Security, privacy, and cryptography

Highlights