Security, privacy, and cryptography

Publication

Position-Based Quantum Cryptography: Impossibility and Constructions

Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovsky, Christian Schaffner

SIAM Journal on Computing | January 2014, Vol 43: pp. 150-178

Publication

Obfuscation for Evasive Functions

Boaz Barak, Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth, Amit Sahai

To appear in In Proceedings of the 11th Theory of Cryptography Conference (TCC), 2014 | January 2014

Publication

PandA: Pairings and Arithmetic

Chitchanok Chuengsatiansup, Michael Naehrig, Pance Ribarski, Peter Schwabe

Pairing-Based Cryptography – Pairing 2013 | January 2014

Pairing-Based Cryptography – Pairing 2013

Publication

Big Data and Due Process: Toward a Framework to Redress Predictive Privacy Harms

Kate Crawford, Jason Schultz

Boston College Law Review | January 2014, Vol 55(1)

Microsoft Research Blog

Avoiding Vulnerable Passwords—and Rules, Too

December 5, 2013

You could think of it as a brainteaser: Create a sequence of eight or more characters that includes at least one uppercase letter, one lowercase letter, a digit, and a symbol, that doesn’t contain any…

Publication

Retroactive security (slides)

Fred Schneider’s 60th birthday celebration | December 2013

Slides

Publication

Improved security for a ring-based fully homomorphic encryption scheme

Joppe W. Bos, Kristin Lauter, Jake Loftus, Michael Naehrig

Cryptography and Coding | Published by Springer | 2013 | Cryptography and Coding edition

Publication

Almost-Everywhere Secure Computation with Edge Corruptions

Nishanth Chandran, Juan A. Garay, Rafail Ostrovsky

Journal of Cryptology | December 2013, pp. 1-24

Publication

Improved Security for a Ring-Based Fully Homomorphic Encryption Scheme

Joppe Bos, Kristin Lauter, Jake Loftus, Michael Naehrig

International Conference On Cryptography and Coding | Published by Springer | 2013 | International Conference On Cryptography and Coding edition

Project

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Position-Based Quantum Cryptography: Impossibility and Constructions

Obfuscation for Evasive Functions

PandA: Pairings and Arithmetic

More is Not the Answer

Big Data and Due Process: Toward a Framework to Redress Predictive Privacy Harms

Avoiding Vulnerable Passwords—and Rules, Too

Retroactive security (slides)

Improved security for a ring-based fully homomorphic encryption scheme

Almost-Everywhere Secure Computation with Edge Corruptions

Improved Security for a Ring-Based Fully Homomorphic Encryption Scheme

Security, privacy, and cryptography

Highlights