Security, privacy, & cryptography

Publication

Transaction Processing on Confidential Data Using Cipherbase

Arvind Arasu, Ken Eguro, Manas Joglekar, Raghav Kaushik, Donald Kossmann, Ravi Ramamurthy

31st IEEE International Conference on Data Engineering (ICDE) | April 2015

Publication

A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-Wise Tampering and Permutations

Shashank Agrawal, Divya Gupta, Hemanta K. Maji, Omkant Pandey, Manoj Prabhakaran

TCC | March 2015

Microsoft Research Blog

Cryptographer’s challenge: Keeping genetic secrets while advancing genetic research

March 20, 2015

Posted by Allison Linn Kristin Lauter is solving a problem you may not even know you have: She’s working to keep your most personal data private and secure. We’re not talking about your bank account…

Blue illustrated lock with binary code and nodes

Publication

Post-quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem

Joppe Bos, Craig Costello, Michael Naehrig, Douglas Stebila

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

Project

Publication

Protecting Data on Smartphones and Tablets from Memory Attacks

Patrick Colp, Jianwen Zhang, James Gleeson, Sahil Suneja, Eyal de Lara, Himanshu Raj, Stefan Saroiu, Alec Wolman

ASPLOS ’15 Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems | March 2015

Publication

Key Recovery for LWE in Polynomial Time

Kim Laine, Kristin Lauter

March 2015

Publication

Provably Weak Instances of Ring-LWE

YARA ELIAS, Kristin Lauter, EKIN OZMAN, AND KATHERINE E. STANGE

March 2015

Project

Publication

Denominators of Igusa Class Polynomials

Kristin Lauter

Publications de Mathematiques de Besancon | March 2015

Publication

Private computation on encrypted genomic data

Kristin Lauter, Adriana Lopez-Alt, Michael Naehrig

Progress in Cryptology-LATINCRYPT 2014 | March 2015

Progress in Cryptology-LATINCRYPT 2014

Publication

ANTP: Authenticated NTP Implementation Specification

Greg Zaverucha, Benjamin Dowling, Douglas Stebila

MSR-TR-2015-19 | February 2015

Security, privacy, & cryptography

Verifying Rust cryptography in SymCrypt, from standards to code

Vega: Zero-knowledge proofs for digital identity in the age of AI

Ire identifies another LOTUSLITE specimen

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Transaction Processing on Confidential Data Using Cipherbase

A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-Wise Tampering and Permutations

Cryptographer’s challenge: Keeping genetic secrets while advancing genetic research

Post-quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem

Protecting Data on Smartphones and Tablets from Memory Attacks

Key Recovery for LWE in Polynomial Time

Provably Weak Instances of Ring-LWE

Denominators of Igusa Class Polynomials

Private computation on encrypted genomic data

ANTP: Authenticated NTP Implementation Specification

Security, privacy, & cryptography

Highlights