Security, privacy, and cryptography

Publication

Privacy-friendly Aggregation for the Smart-grid

Klaus Kursawe, George Danezis, Markulf Kohlweiss

January 2011

Publication

An Anonymous Health Care System

Melissa Chase, Kristin Lauter

IACR Cryptology ePrint Archive | January 2011, Vol 16

Publication

A Firm Foundation for Private Data Analysis

Cynthia Dwork

Communications of the ACM | January 2011

Project

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

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

Submitted manuscript under review | 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

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

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

Privacy-friendly Aggregation for the Smart-grid

An Anonymous Health Care System

A Firm Foundation for Private Data Analysis

Searchable Symmetric Encryption: Improved Definitions and Efficient Constructions

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

AutoLog: facing log redundancy and insufficiency

Detecting Malicious Web Links and Identifying Their Attack Types

Security, privacy, and cryptography

Highlights