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

Complete addition formulas for prime order elliptic curves

Joost Renes, Craig Costello, Lejla Batina

Advances in Cryptology – EUROCRYPT, 35th International Conference on the Theory and Application of Cryptology and Information Security, Vienna, Austria, May 8 – 12, 2016, Springer, May 2016. | May 2016

Publication

Password Guidance

Robyn Hicock

Online only | May 2016

Publication

Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno

Proceedings of the IEEE Symposium on Security and Privacy | May 2016

Project

Publication

RETracer: Triaging Crashes by Reverse Execution from Partial Memory Dumps

Weidong Cui, Marcus Peinado, Sang Kil Cha, Yanick Fratantonio, Vasileios P. Kemerlis

Proceedings of the 38th International Conference on Software Engineering (ICSE) | May 2016

Project

Tool

SIDH Library

SIDH is a fast and portable software library that implements a new suite of algorithms for Supersingular Isogeny Diffie-Hellman (SIDH) key exchange. The chosen parameters aim to provide 128 bits of security against attackers running…

Access

Publication

RIoT – A Foundation for Trust in the Internet of Things

Paul England, Andrey Marochko, Dennis Mattoon, Rob Spiger, Stefan Thom, David Wooten

MSR-TR-2016-18 | April 2016

Github Project

Publication

Lifetime Prevalence Rates and Overlap of Physical, Psychological, and Sexual Dating Abuse Perpetration and Victimization in a National Sample of Youth

Michele L. Ybarra, Dorothy L. Espelage, Jennifer Langhinrichsen-Rohling, Josephine D. Korchmaros, danah boyd

Archives of Sexual Behavior | April 2016, Vol 45(5): pp. 1083-1099

Publication

The New Wildcats: High-Risk Banking From Worst-Case Certificate Practices Online

Zheng Dong, Kevin Kane, Siyu Chen, L. Jean Camp

Technology Science | April 2016

Microsoft Research Blog

Crowdsourced health: How big data can enhance medical research

April 13, 2016

By George Thomas Jr., Writer, Microsoft There’s a reason “flu season” has earned its miserable prominence: When the flu is severe, it’s difficult to avoid. And if you’re a parent you know this all too…

Video

Privacy-Preserving Smart Contracts

April 7, 2016 | Ranjit Kumaresan

Cryptographic technologies such as encryption and authentication provide stability to modern electronic commerce. Recent technologies such as Bitcoin have the potential to further enhance the way we conduct electronic commerce. In this talk, I will…

1:12:15

Security, privacy, & cryptography

Highlights