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

現在の選択

並べ替え: 最近

選択内容のクリア

この結果内で検索する

コンテンツタイプ

人数

公開日

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

公開日

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

公開日

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.

プロジェクト

Microsoft Research ブログ

Red-teaming a network of agents: Understanding what breaks when AI agents interact at scale

April 30, 2026 | Gagan Bansal, Shujaat Mirza, Keegan Hines, Will Epperson, Zachary Huang, Whitney Maxwell, Pete Bryan, Tyler Payne, Adam Fourney, Amanda Swearngin, Wenyue Hua, Tori Westerhoff, Amanda Minnich, Maya Murad, Ece Kamar, Ram Shankar Siva Kumar, Saleema Amershi

Safe agents don’t guarantee a safe ecosystem of interconnected agents. Microsoft Research examines what breaks when AI agents interact and why network-level risks require new approaches.

three icons on a blue to green gradient background | connected node icon, document with an 'x' icon, shield with a checkmark icon

公開日

Separable Expert Architecture: Toward Privacy-Preserving LLM Personalization via Composable Adapters and Deletable User Proxies

C. Schneider, Philipp Schoenegger, Ben Bariach

April 2026

公開日

Reasoning-Aware AIGC Detection via Alignment and Reinforcement

Zhao Wang, Max Xiong, Jianxun Lian, Zhicheng Dou

April 2026

公開日

ABDP: Adversarial Backdoor Detection and Purification

Haojie Yuan, Bin Benjamin Zhu, Qi Chu, Tao Gong, Nenghai Yu, Dongmei Zhang

IEEE Transactions on Information Forensics and Security | April 2026

公開日

Don’t Let AI Agents YOLO Your Files: Shifting Information and Control to Filesystems for Agent Safety and Autonomy

Shawn Zhong, Junxuan Liao, Jing Liu, Mai Zheng, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau

April 2026

公開日

Listening Alone, Understanding Together: Collaborative Context Recovery for Privacy-Aware AI

Tanmay Srivastava, Amartya Basu, Shubham Jain, Vaishnavi Ranganathan

April 2026

キャリアの機会

Senior Data Scientist – IDEAS Security Data Science team

Posted: April 10, 2026

場所: Redmond, WA, US

研究分野: Artificial intelligence, Data platforms and analytics, Security, privacy, and cryptography

The IDEAS Security Data Science team focuses on building AI‑ and agent‑centric data science solutions that power Microsoft Security products and experiences. As a Senior Data Scientist in Security Data Science, you will lead the…

Security, privacy, and cryptography

ハイライト