Security, privacy, and cryptography

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

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

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

Painless Migration from Passwords to Two Factor Authentication

Ziqing Mao, Dinei Florencio, Cormac Herley

WIFS | November 2011

WIFS

Publication

Practical Containment for Measuring Modern Malware Systems

Christian Kreibich, Nicholas Weaver, Chris Kanich, Weidong Cui, Vern Paxson

Proceedings of the 2011 International Measurement Conference | November 2011

Publication

The Web Interface Should Be Radically Refactored

John (JD) Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong

Tenth ACM Workshop on Hot Topics in Networks (HotNets-X) | November 2011

Publication

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge

Mihhail Aizatulin, François Dupressoir, Andy Gordon, Jan Jürjens

8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 | November 2011

ISBN: 9783642294198

Publication

Generating Fast String Manipulating Code Through Transducer Exploration and SIMD Integration

Margus Veanes, David Molnar, Ben Livshits, Lubomir Litchev

MSR-TR-2011-124 | November 2011

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

Credo: Trusted Computing for Guest VMs with a Commodity Hypervisor

Program Obfuscation with Leaky Hardware

Noiseless Database Privacy

Sketching in Adversarial Environments

Depot: Cloud Storage with Minimal Trust

Painless Migration from Passwords to Two Factor Authentication

Practical Containment for Measuring Modern Malware Systems

The Web Interface Should Be Radically Refactored

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge

Generating Fast String Manipulating Code Through Transducer Exploration and SIMD Integration

Security, privacy, and cryptography

Highlights