Security, privacy, and cryptography

Publication

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols

José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephen Krenn, Santiago Zanella-Béguelin

19th ACM Conference on Computer and Communications Security, CCS 2012 | January 2012

19th ACM Conference on Computer and Communications Security, CCS 2012

Publication

Improved CRT Algorithm for Class Polynomials in Genus 2

Kristin Lauter, Damien Robert

Algorithmic Number Theory Symposium, ANTS-X 2012 | January 2012

Project

Publication

Smooth Projective Hashing and Two-Message Oblivious Transfer

Shai Halevi, Yael Tauman Kalai

Journal of Cryptology | January 2012, Vol 25: pp. 158-193

Publication

Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs

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

11th International Conference on Mathematics of Program Construction, MPC 2012 | January 2012

Publication

Foundations of trust management

Mo Becker

IEEE Symposium on Security and Privacy | January 2012

Publication

Probabilistic Reasoning for Differential Privacy

Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella-Béguelin

39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012 | January 2012

Publication

On The Security Of Querying Encrypted Data

Arvind Arasu, Raghav Kaushik, Ravi Ramamurthy

January 2012

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

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

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols

Improved CRT Algorithm for Class Polynomials in Genus 2

Smooth Projective Hashing and Two-Message Oblivious Transfer

Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs

Foundations of trust management

Probabilistic Reasoning for Differential Privacy

On The Security Of Querying Encrypted Data

Modular polynomials via isogeny volcanoes

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

A Research Agenda Acknowledging the Persistence of Passwords

Security, privacy, and cryptography

Highlights