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

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

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

Career Opportunity

Principal Applied Scientist

Posted: March 26, 2026

Location: Bangalore, Karnataka, India

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

Join a team that’s redefining modern security research with AI-first, agentic systems—moving beyond manual, expert-only workflows to scalable, automation-driven threat discovery. Your work will help power AI-driven campaign discovery, surfacing emerging attack patterns at scale…

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

Publication

Amplification Effects in Test-Time Reinforcement Learning: Safety and Reasoning Vulnerabilities

Vanshaj Khattar, Md. Rafi Ur Rashid, Moumita Choudhury, Jing Liu, T. Koike-Akino, Ming Jin, Ye Wang

March 2026

Tool

cppvrf

A Verifiable Random Function (VRF) is a cryptographic public-key primitive that, from a secret key and a given input, produces a unique pseudorandom output, along with a proof that the output was correctly computed.Only the…

Access

Publication

CTI-REALM: Benchmark to Evaluate Agent Performance on Security Detection Rule Generation Capabilities

Arjun Chakraborty, Sandra Ho, Adam Cook, Manuel Mel'endez

March 2026

Tool

LiteBox

A security-focused library OS [!NOTE]This project is currently actively evolving and improving. While we areworking toward a stable release, some APIs and interfaces may change as thedesign continues to mature. You are welcome to explore…

GitHub

Tool

SABER: Scaling-Aware Best-of-N Estimation of Risk

Scaling-Aware Best-of-N Estimation of Risk A Python package for predicting large-scale adversarial risk in Large Language Models under Best-of-N sampling. Paper: https://arxiv.org/pdf/2601.22636 (opens in new tab) Standard LLM safety evaluations use single-shot (ASR@1) metrics,…

GitHub Publication

Security, privacy, and cryptography

Highlights