Security, privacy, and cryptography
Publication
Proving the TLS Handshake Secure (As It Is)
Publication
Inverse Privacy
Project
MSR Elliptic Curve Cryptography Library
MSR ECCLib was an efficient cryptography library that provided 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…
Project
MSR JavaScript Cryptography Library
The MSR JavaScript Cryptography Library has been migrated to GitHub. The latest version, v1.6.0, is available here: https://github.com/microsoft/MSR-JavaScript-Crypto The MSR JavaScript Cryptography Library has been developed for use with cloud services in an HTML5 compliant and…
Publication
U-Prove Equality Proof Extension
Publication
Querying Encrypted Data (Tutorial)
Publication