Security, privacy, & cryptography

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

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

Securing Circuits against Constant-Rate Tampering

Dana Dachman-Soled, Yael Tauman Kalai

Advances in Cryptology – CRYPTO 2012 | January 2012

Publication

Secure Database Commitments and Universal Arguments of Quasi Knowledge

Melissa Chase, Ivan Visconti

Crypto 2012 | January 2012

Publication

On The Security Of Querying Encrypted Data

Arvind Arasu, Raghav Kaushik, Ravi Ramamurthy

January 2012

Publication

A Parallel Repetition Theorem for Leakage Resilience

Zvika Brakerski, Yael Tauman Kalai

In Proceedings of the 9th Theory of Cryptography Conference (TCC) | January 2012

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

Symbolic Finite State Transducers: Algorithms and Applications

Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits

POPL’12 | 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

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

Security, privacy, & cryptography

Verifying Rust cryptography in SymCrypt, from standards to code

Vega: Zero-knowledge proofs for digital identity in the age of AI

Ire identifies another LOTUSLITE specimen

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs

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

Securing Circuits against Constant-Rate Tampering

Secure Database Commitments and Universal Arguments of Quasi Knowledge

On The Security Of Querying Encrypted Data

A Parallel Repetition Theorem for Leakage Resilience

Smooth Projective Hashing and Two-Message Oblivious Transfer

Symbolic Finite State Transducers: Algorithms and Applications

Modular polynomials via isogeny volcanoes

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

Security, privacy, & cryptography

Highlights