Security, privacy, and cryptography

Publication

Embassies: Radically Refactoring the Web

Jon Howell, Bryan Parno, John (JD) Douceur

Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI) | April 2013

Best Paper Award

Publication

Adversarial testing of wireless routing implementations

Md. Endadul Hoque, Hyojeong Lee, Rahul Potharaju, Charles E. Killian, Cristina Nita-Rotuaru

WiSec ’13 Proceedings of the sixth ACM conference on Security and privacy in wireless and mobile networks | April 2013

Publication

Garbled circuits via structured encryption

Seny Kamara, Lei Wei

Financial Cryptography and Data Security | Published by Springer | 2013, Vol 7862 | Financial Cryptography and Data Security edition

Publication

Querying Encrypted Data (Tutorial)

Arvind Arasu, Ken Eguro, Raghav Kaushik, Ravi Ramamurthy

29th International Conference on Data Engineering (ICDE) | April 2013

Tutorial presentation

Publication

Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization

Rui Wang, Yuchen Zhou, Shuo Chen, Shaz Qadeer, David Evans, Yuri Gurevich,

MSR-TR-2013-37 | March 2013

Revised, June 7th, 2013.

Publication

Seamless Customer Identification

Christopher Smowton, Jay Lorch, David Molnar, Stefan Saroiu, Alec Wolman

MSR-TR-2013-31 | March 2013

Project

Publication

Towards New Security Primitives Based on Hard AI Problems

Bin Benjamin Zhu, Jeff Yan

March 2013

Publication

Verifiable Postal Voting

Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague

Proceedings of 21st International Workshop | March 2013

Publication

High-Performance Scalar Multiplication using 8-Dimensional GLV/GLS Decomposition

Joppe Bos, Craig Costello, Huseyin Hisil, Kristin Lauter

MSR-TR-2013-29 | March 2013

Publication

Succinct Malleable NIZKs and an Application to Compact Shuffles

Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Sarah Meiklejohn

TCC 2013 | March 2013

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

Embassies: Radically Refactoring the Web

Adversarial testing of wireless routing implementations

Garbled circuits via structured encryption

Querying Encrypted Data (Tutorial)

Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization

Seamless Customer Identification

Towards New Security Primitives Based on Hard AI Problems

Verifiable Postal Voting

High-Performance Scalar Multiplication using 8-Dimensional GLV/GLS Decomposition

Succinct Malleable NIZKs and an Application to Compact Shuffles

Security, privacy, and cryptography

Highlights