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

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

Published Date

Publication

Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives

Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi , Sebastian Ramacher, Christian Rechberger, Greg Zaverucha, Daniel Slamanig

Proceedings of ACM CCS 2017 | October 2017

Publication

FAME: Fast Attribute-based Message Encryption

Melissa Chase, Shashank Agrawal

CCS ’17 Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security | October 2017

Event

Microsoft @ LISA 2017

October 29, 2017 – November 3, 2017 | San Francisco, CA

Microsoft is a silver sponsor of LISA17, the annual vendor-neutral meeting place for the wider system administration community. The program will address the overlap and differences between traditional and modern IT operations and engineering, curated…

Publication

Lazy Diagnosis of In-Production Concurrency Bugs

Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu

Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP) | October 2017

Project

Event

Microsoft Research @ HCOMP 2017

October 24, 2017 – October 26, 2017 | Quebec City, Quebec

We are excited to be a gold sponsor of Human Computation and Crowdsourcing (HCOMP) 2017, the premier venue for disseminating the latest research findings on crowdsourcing and human computation. While artificial intelligence (AI) and human-computer…

Publication

Public Evidence from Secret Ballots

Matthew Bernhard, Josh Benaloh, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach

October 2017

Publication

Hierarchical Learning for Automated Malware Classification

Shayok Chakraborty, Jack W. Stokes, Lin Xiao, Dengyong Zhou, Mady Marinescu, Anil Thomas

Proceedings of the Military Communication Conference (MILCOM) | October 2017

Project

Publication

The Weakness of Cumulative Voting

Josh Benaloh

October 2017

Event

Microsoft Research @ SPLASH 2017

October 22, 2017 – October 27, 2017 | Vancouver, Canada

We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and…

Video

Resilience and Security in Cyber-Physical Systems: Self-Driving Cars and Smart Devices

October 9, 2017 | Karthik Pattabiraman

The future will be defined by autonomous computer systems that are tightly integrated with the environment, also known as Cyber-Physical systems (CPS). Resilience and security become extremely important in these systems, as a single error…

Resilience and Security in Cyber-Physical Systems: Self-Driving Cars and Smart Devices

1:15:54

Security, privacy, & cryptography

Highlights