I am a Visiting Fellow at Boston
University's Hariri Institute
for Computing and Computational Science & Engineering.
I am a member of
Computer-Aided Cryptography Group.
Current projects include:
- A formalization in EasyCrypt of the indifferentiability result for
the SHA3 Secure Hash Algorithm standard (joint work with Gilles
Barthe, François Dupressoir, Benjamin Grégoire and Pierre-Yves Strub)
- Mechanizing the proof of adaptive, information-theoretic security
of cryptographic protocols in the random oracle model (joint work
with Mayank Varia)
- Mechanizing Universal Composability (joint work with Ran Canetti
and Mayank Varia)