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

Événement

Microsoft at NDSS 2022

April 24, 2022 – April 28, 2022 | Hybrid | San Diego, CA, USA

Microsoft Research is proud to be a sponsor of The Network and Distributed System Security (NDSS) Symposium 2022. See more details on our contributions below.

Publication

Differentially Private Estimation of Heterogeneous Causal Effects

Fengshi Niu, Harsha Nori, Brian Quistorff, Rich Caruana, Donald Ngwe, Aadharsh Kannan

CLeaR 2022 | April 2022

Publication

Dew: Transparent Constant-sized zkSNARKs

Arasu Arun, Chaya Ganesh, Satya Lokam, Tushar Mopuri, Sriram Sridhar

April 2022

Publication

IA-CCF: Individual Accountability for Permissioned Ledgers

Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich

19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022

Projet

Publication

Transparency Dictionaries with Succinct Proofs of Correct Operation

Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty

NDSS 2022 | April 2022

Publication

Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel

Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy , Trent Jaeger, Paul Yu

Network and Distributed Systems Security (NDSS) Symposium 2022 | April 2022

Publication

A Large-Scale Measurement of Cybercrime Against Individuals

Casey Breen, Cormac Herley, Elissa M. Redmiles

CHI 2022 | April 2022

Publication

Minimax Optimality (Probably) Doesn’t Imply Distribution Learning for GANs

Sitan Chen, Jerry Li, Yuanzhi Li, Raghu Meka

ICLR 2022 | April 2022

Vidéo

Confidential Computing Research at Microsoft Research

March 29, 2022 | Cedric Fournet

Microsoft Swiss Joint Research Center – Day 1 | AI, Confidential Computing, Health, Cloud and Systems The Applied Machine Learning Days channel features talks and performances from the Applied Machine Learning Days. AMLD is one…

27:05

Événement

Swiss Joint Research Center Workshop 2022

March 29, 2022 – March 30, 2022 | Lausanne, Switzerland

This two-day Workshop brought together PhD students and postdocs working on collaborative research projects between academia and Microsoft via the Swiss Joint Research Center, Mixed Reality & AI Zurich Lab, Mixed Reality & AI Cambridge Lab (opens in…

Security, privacy, & cryptography

Fait saillants