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

Video

Characterizing Large-Scale Click Fraud in ZeroAccess

June 20, 2015 | Saikat Guha

Click fraud is a scam that hits a criminal sweet spot by both tapping into the vast wealth of online advertising and exploiting that ecosystem’s complex structure to obfuscate the flow of money to its…

a man sitting at a table in front of a window

01:14

Publication

Specification of Curve Selection and Supported Curve Parameters in MSR ECCLib

Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig

MSR-TR-2015-49 | June 2015

Project

Tool

MSR ECCLib

MSR ECCLib is an efficient cryptographic library that provides functions for computing essential elliptic curve operations on a new set of high-security curves. All computations on secret data exhibit regular, constant-time execution, providing protection against…

Access

Publication

A brief discussion on selecting new elliptic curves

Craig Costello, Patrick Longa, Michael Naehrig

MSR-TR-2015-46 | June 2015

Position paper presented at the NIST Workshop on Elliptic Curve Cryptography Standards (http://www.nist.gov/itl/csd/ct/ecc-workshop.cfm).

Project

Publication

Passwords and the Evolution of Imperfect Authentication

Joe Bonneau, Cormac Herley, Paul C. van Oorschot, Frank Stajano

Communications of ACM | June 2015

Publication

Time-Memory Trade-Offs for Index Calculus in Genus 3

Kristin Lauter

Journal of Mathematical Cryptology | June 2015, Vol 9(2): pp. 95-114

Publication

Substring-Searchable Symmetric Encryption

Melissa Chase, Emily Shen

Proceedings on Privacy Enhancing Technologies 2015 | June 2015

Publication

The Push/Pull model of transactions

Eric Koskinen, Matthew J. Parkinson

ACM SIGPLAN Notices | June 2015, Vol 50(6): pp. 186-195

Publication

Geppetto: Versatile Verifiable Computation

Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur

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

Project

Publication

A Messy State of the Union: Taming the Composite State Machines of TLS

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue

2015 IEEE Symposium on Security and Privacy | May 2015

Distinguished Paper

Security, privacy, & cryptography

Highlights