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

현재 선택 항목

정렬 기준: 가장 최근 순

선택 해제

이 결과 내에서 검색

콘텐츠 유형

게시 날짜 표시

출판

BlueCodeAgent: A Blue Teaming Agent Enabled by Automated Red Teaming for CodeGen AI

Chengquan Guo, Yuzhou Nie, Chulin Xie, Zinan Lin, Wenbo Guo, Bo Li

ICML 2026 | October 2026

출판

Principled Design of Indexing Functions for Memory Coloring

Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos

35th USENIX Security Symposium | August 2026

프로젝트

출판

Differentially Private Synthetic Data via APIs 4: Tabular Data

Toan Tran, Arturs Backurs, Zinan Lin, Victor Reis, Li Xiong, Sergey Yekhanin

ICML 2026 | July 2026

프로젝트

출판

From Lab to Fleet: Building and Deploying a Practical Rowhammer Defense in Cloud SoCs

Stefan Saroiu, Sujay Yadalam, Alec Wolman, Will Remaklus, Daniel S. Berger, Isaac H. Luna, Ishwar Agarwal, Jay Lorch

International Symposium on Computer Architecture | June 2026

프로젝트

출판

AI Agents Can Defeat Security by Obscurity for Rowhammer Defenses

Stefan Saroiu, Alec Wolman, Jay Bosamiya, Adam Grenzebach, Victor Bahl

Workshop on DRAM Security (DRAMSec) | June 2026

프로젝트

동영상

Welcome Session – Microsoft Research India Academic Summit 2026

June 26, 2026 | Venkat Padmanabhan, Srinivasan Iyengar

Microsoft Research India Academic Summit 2026Speakers: Venkat Padmanabhan, Srinivasan Iyengar#MSRI #ARS2026

graphical user interface, text, application