Security, privacy, and cryptography

Project

InterPoll

Crowd-sourcing is increasingly being used for providing answers to online polls and surveys. However, existing systems, while taking care of the mechanics of attracting crowd workers, poll building, and payment, provide little that would help…

Publication

On Virtual Grey Box Obfuscation for General Circuits

Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth

In Advances in Cryptology (CRYPTO) | January 2014

Publication

Outlier Detection for Temporal Data

Manish Gupta, Jing Gao, Charu C. Aggarwal, Jiawei Han

IEEE Transactions on Knowledge and Data Engineering (TKDE) | January 2014

Publication

Elliptic and Hyperelliptic Curves: a Practical Security Analysis

Joppe Bos, Craig Costello, Andrea Miele

Conference on Practice and Theory of Public-Key Cryptography (PKC) | January 2014

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…

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

InterPoll

On Virtual Grey Box Obfuscation for General Circuits

Outlier Detection for Temporal Data

Elliptic and Hyperelliptic Curves: a Practical Security Analysis

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

Security, privacy, and cryptography

Highlights