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

CCCP: Secure remote storage for computational RFIDs

July 22, 2009 | Mastooreh Salajegheh

Passive RFID tags harvest their operating energy from an interrogating reader, but constant energy shortfalls severely limit their computational and storage capabilities. We propose Cryptographic Computational Continuation Passing (CCCP), a mechanism that amplifies programmable passive…

25:28

Video

SANDstorm, Elliptic Curves, and a Bit of Fun

July 16, 2009 | Rich Schroeppel

I’ll begin by describing SANDstorm, the Sandia entry in the NIST Hash Function competition. Next, I borrow an idea of Peter Montgomery’s to speed up elliptic curve calculations (Affine Strikes Back!). Finally, I’ll offer a…

01:03:23

Publication

Iterated Transformations and Quantitative Metrics for Software Protection

Mariusz Jakubowski, Nick Saw, Ramarathnam Venkatesan

International Conference on Security and Cryptography (SECRYPT 2009) | July 2009

Publication

Abductive Authorization Credential Gathering

Mo Becker, Jason Mackay, Blair Dillaway

IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY) | July 2009

Publication

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

Karthik Bhargavan, Ricardo Corin, Pierre-Malo Denielou, Cédric Fournet, James J. Leifer

Proceedings of the 22st IEEE Computer Security Foundations Symposium (CSF 2009 | July 2009

Publication

Economics and the Underground Economy

Cormac Herley, Dinei Florencio

July 2009

July 2009 | Black Hat edition edition

Black Hat

Publication

A Secure Cryptographic Token Interface

Christian Cachin, Nishanth Chandran

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009 | July 2009

ISBN: 978-0-7695-3712-2

Microsoft Research Blog

When Is a Browser Not a Browser?

June 29, 2009

By Janie Chang, Writer, Microsoft Research Once upon a time, Web sites were the online equivalent of data sheets. Now users go to the Web to run business apps, do their banking, buy products, socialize,…

Publication

Privacy integrated queries: an extensible platform for privacy-preserving data analysis

Frank McSherry

Proceedings of the 2009 ACM SIGMOD International Conference on Management of data | June 2009

ISBN: 978-1-60558-551-2

Project

Privacy Integrated Queries (PINQ)

Privacy Integrated Queries is a LINQ-like API for computing on privacy-sensitive data sets, while providing guarantees of differential privacy for the underlying records. The research project is aimed at producing a simple, yet expressive language…

Security, privacy, & cryptography

Highlights