Security, privacy, and cryptography

Publication

Cryptography with Tamperable and Leaky Memory

Yael Tauman Kalai, Bhavana Kanukurthi, Amit Sahai

In Advances in Cryptology (CRYPTO) | January 2011

Publication

Black-Box Circular-Secure Encryption Beyond Affine Functions

Zvika Brakerski, Shafi Goldwasser, Yael Tauman Kalai

In Theory of Cryptography – 8th Theory of Cryptography Conference (TCC) | January 2011

Publication

Formal Certification of Code-Based Cryptographic Proofs

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin

January 2011

Publication

Beyond Provable Security. Verifiable IND-CCA Security of OAEP

Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella-Béguelin

Topics in Cryptology, CT-RSA 2011 | January 2011

ISBN: 978-3-642-19073-5

Publication

Searchable Symmetric Encryption: Improved Definitions and Efficient Constructions

Reza Curtmola, Juan Garay, Seny Kamara, Rafail Ostrovsky

Journal of Computer Security | January 2011

To appear.

Publication

A Firm Foundation for Private Data Analysis

Cynthia Dwork

Communications of the ACM | January 2011

Project

Publication

AutoLog: facing log redundancy and insufficiency

Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, Zheng Zhang, Cheng Zhang, Zhenyu Guo

APSys | January 2011

Publication

Detecting Malicious Web Links and Identifying Their Attack Types

Hyunsang Choi, Bin Benjamin Zhu, Heejo Lee

USENIX Conference on Web Application Development 2011 | January 2011

Publication

Attractive Subfamilies of BLS Curves for Implementing High-Security Pairings

Craig Costello, Kristin Lauter, Michael Naehrig

Progress in Cryptology – INDOCRYPT 2011, Lecture Notes in Computer Science 7107 | January 2011

Project

Publication

Leaky Pseudo-Entropy Functions

Mark Braverman, Avinatan Hassidim, Yael Tauman Kalai

In Proc. of the Innovations in Computer Science (ICS) | January 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

Cryptography with Tamperable and Leaky Memory

Black-Box Circular-Secure Encryption Beyond Affine Functions

Formal Certification of Code-Based Cryptographic Proofs

Beyond Provable Security. Verifiable IND-CCA Security of OAEP

Searchable Symmetric Encryption: Improved Definitions and Efficient Constructions

A Firm Foundation for Private Data Analysis

AutoLog: facing log redundancy and insufficiency

Detecting Malicious Web Links and Identifying Their Attack Types

Attractive Subfamilies of BLS Curves for Implementing High-Security Pairings

Leaky Pseudo-Entropy Functions

Security, privacy, and cryptography

Highlights