Security, privacy, and cryptography

Publication

A Parallel Repetition Theorem for Leakage Resilience

Zvika Brakerski, Yael Tauman Kalai

In Proceedings of the 9th Theory of Cryptography Conference (TCC) | January 2012

Publication

Securing Circuits against Constant-Rate Tampering

Dana Dachman-Soled, Yael Tauman Kalai

Advances in Cryptology – CRYPTO 2012 | January 2012

Publication

Secure Database Commitments and Universal Arguments of Quasi Knowledge

Melissa Chase, Ivan Visconti

Crypto 2012 | January 2012

Microsoft Research Blog

A Fresh Perspective on Internet Security

December 20, 2011

By Douglas Gantenbein, Senior Writer, Microsoft News Center People don’t do enough to protect themselves on the Internet. They don’t use good passwords. They’re poor at recognizing the URL of “phishing” sites. They ignore certificate…

Publication

Credo: Trusted Computing for Guest VMs with a Commodity Hypervisor

Himanshu Raj, David Robinson, Talha Bin Tariq, Paul England, Stefan Saroiu, Alec Wolman

MSR-TR-2011-130 | December 2011

Publication

Program Obfuscation with Leaky Hardware

Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum

In Advances in Cryptology (ASIACRYPT) | December 2011

Publication

Depot: Cloud Storage with Minimal Trust

Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish

ACM Transactions on Computer Systems (TOCS) | December 2011, Vol 29: pp. 0.500694444-0.526388889

Publication

Noiseless Database Privacy

Raghav Bhaskar, Abhishek Bhowmick, Vipul Goyal, Srivatsan Laxman, Abhradeep Thakurta

Proceedings of the Seventeenth International Conference on Theory and Application of Cryptology and Information Security, ASIACRYPT 2011 | December 2011

Proceedings of the Seventeenth International Conference on Theory and Application of Cryptology and Information Security, ASIACRYPT 2011

Project

Publication

Sketching in Adversarial Environments

Ilya Mironov, Mona Naor, Gil Segev

SIAM Journal on Computing | December 2011, Vol 40(6): pp. 1845-1870

Publication

Painless Migration from Passwords to Two Factor Authentication

Ziqing Mao, Dinei Florencio, Cormac Herley

WIFS | November 2011

WIFS

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

A Parallel Repetition Theorem for Leakage Resilience

Securing Circuits against Constant-Rate Tampering

Secure Database Commitments and Universal Arguments of Quasi Knowledge

A Fresh Perspective on Internet Security

Credo: Trusted Computing for Guest VMs with a Commodity Hypervisor

Program Obfuscation with Leaky Hardware

Depot: Cloud Storage with Minimal Trust

Noiseless Database Privacy

Sketching in Adversarial Environments

Painless Migration from Passwords to Two Factor Authentication

Security, privacy, and cryptography

Highlights