Security, privacy, and cryptography

Publication

Modular polynomials via isogeny volcanoes

Reinier Broker, Kristin Lauter, Andrew V. Sutherland

Mathematics of Computation 81 (2012), 1201-1231 | January 2012, Vol 81

Project

Publication

Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen

In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012

To appear

Project

Publication

A Research Agenda Acknowledging the Persistence of Passwords

Cormac Herley, Paul van Oorschot

IEEE Security & Privacy Magazine | January 2012

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

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

Modular polynomials via isogeny volcanoes

Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq

A Research Agenda Acknowledging the Persistence of Passwords

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

Security, privacy, and cryptography

Highlights