illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, & cryptography

Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.

Diagram showing the process of verifying cryptographic code. An algorithm from a standard is converted into a formal specification, while Rust code is converted into a code model. The specification and code model are then compared through proof and verification steps.

Verifying Rust cryptography in SymCrypt, from standards to code

Three white line-style icons centered on a textured blue-to-green gradient background: a shield, a checkmark inside a circle, and an ID card with a user silhouette—representing security, verification, and digital identity.

Vega: Zero-knowledge proofs for digital identity in the age of AI

Project Ire | | three white line icons on an abstract purple background | greater than / less than icon, search icon, shield icon

Ire identifies another LOTUSLITE specimen

Social Reasoning Bench | four icons on a blue to green gradient | person icon, chat bubble icon, chart icon, checklist icon

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Sélections actuelles

Trier par: Le plus récent

Effacer les sélections

Recherche dans ces résultats

Types de contenu

Date de publication

Blog de recherche Microsoft

Verifying Rust cryptography in SymCrypt, from standards to code

July 13, 2026 | Son Ho, Cédric Fournet, Antoine Delignat-Lavaud, Samuel Lee, Jason Fisher, Jessica Krynitsky

Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.

Publication

RustMizan: A Compilable, Contamination-Aware Benchmarking Framework for Rust Vulnerabilities

Tamer Elsayed, Shiping Yang, Eunsong Koh, Sanika Goyal, Vincent Huang, Paul Ngo, Nathan Young, Mohammad Omidvar Tehrani, Alvyn Kang, Arnell Kang, Zeyu Chen, Angelica Moreira, Xuan Feng, Angel X. Chang, Nick Sumner, Steven Y. Ko

July 2026

arXiv | July 2026

Publication

HARC: Coupling Harmfulness and Refusal Directions for Robust Safety Alignment

Shei Pern Chua, Hao Wu, Qianli Ma, Fangzhao Wu

July 2026

arXiv | July 2026

Publication

BiSON: Billion-Scale Oblivious Nearest-NeighborSearch in Milliseconds

Sankha Das, Rohan Ravi, Nishanth Chandran, Divya Gupta

2026 IEEE 11th European Symposium on Security and Privacy (EuroS&P) | July 2026

Projet

Publication

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

Projet

Publication

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

Projet

Publication

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

Projet

Vidéo

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

11:31

Vidéo

Session on Inclusive AI: Data, Models, Evaluation

June 26, 2026 | Niloy Ganguly, Danish Pruthi, Sunayana Sitaram, Anoop Kunchukuttan, Ashutosh Modi

Microsoft Research India Academic Research Summit 2026 Speakers: Niloy Ganguly, IIT Kharagpur; Danish Pruthi, IIsc Bangalore; Sunayana Sitaram, Microsoft; Anoop Kunchukuttan, Bodhan AI; Ashutosh Modi, IIT Kanpur#MSRI #ARS2026 Sunayana Sitaram – Bridging Divides in AI…

graphical user interface, text, application, chat or text message

01:43:01

Vidéo

Session on Retrieval

June 26, 2026 | Lokesh Nagalapatti, Soumen Chakrabarti

Microsoft Research India Academic Research Summit 2026Speakers: Lokesh Nagalapatti, Soumen Chakrabarti#MSRI #ARS2026 HOBIT- Lokesh Nagalapatti, Microsoft A Dense Subset Index for Collective Query Coverage – Soumen Chakrabarti, IITB

01:06:25

Security, privacy, & cryptography

Fait saillants