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

Sélections actuelles

Trier par: Le plus récent

Effacer les sélections

Recherche dans ces résultats

Types de contenu

Date de publication

Publication

Vale: Verifying High-Performance Cryptographic Assembly Code

Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson

Proceedings of the USENIX Security Symposium | August 2017

Distinguished Paper Award

Accès Github Projet

Publication

Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing

Sangho Lee, Ming-Wei Shih, Prasun Gera, Taesoo Kim, Hyesoon Kim, Marcus Peinado

26th USENIX Security Symposium (USENIX Security 17) | August 2017

Publication

Enabling secure and resource-efficient blockchain networks with VOLT

Srinath Setty, Soumya Basu, Lidong Zhou, Justine Stephenson, Ramarathnam Venkatesan

MSR-TR-2017-38 | August 2017

Publié par Microsoft

Projet

Always Encrypted

Note: This research project has reached its conclusion. Always Encrypted graduated from MSR to SQL Server 2016. These pages are maintained for reference and archival purposes. Always Encrypted is a feature designed to protect sensitive…

Publication

Efficient, Constant-Round and Actively Secure MPC: Beyond the Three-Party Case

Nishanth Chandran, Juan Garay, Payman Mohassel, Satyanarayana Vusirikala

ACM Conference on Computer and Communications Security 2017 | August 2017

Publication

Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing

Sangho Lee, Ming-Wei Shih, Prasun Gera, Taesoo Kim, Hyesoon Kim, Marcus Peinado

26th USENIX Security Symposium (Security 2017) | August 2017

Publication

Loophole: Timing Attacks on Shared Event Loops in Chrome

Pepe Vila, Boris Köpf

USENIX Security Symposium | August 2017

Distinguished paper award

Projet

Publication

Breaking the FF3 Format-Preserving Encryption Standard over Small Domains

Betül Durak, Serge Vaudenay

CRYPTO | July 2017

Publication

Private queries on encrypted genomic data

Kim Laine, Kristin Lauter, Hao Chen, Peter Rindal, Gizem S. Çetin, Yuhou Xia

iDASH Privacy and Security Workshop 2016 | July 2017

Projet

Vidéo

Research in Focus: Private AI

July 17, 2017 | Kristin Lauter, Ran Gilad-Bachrach, Jung Hee Cheon

For AI to achieve its potential, it requires access to large amounts of often sensitive data, which can pose threats to our privacy. This session, featuring Rich Caruana and Kristin Lauter of Microsoft and Jung…

0:21:50

Security, privacy, & cryptography

Fait saillants