I am a member of
Computer-Aided Cryptography Group, and am currently working on:
- 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).
- Proving the security of a simple private information retrieval
protocol in EasyCrypt. (Joint work with Mayank Varia.)