International Association for Cryptologic Research

Ph.D. Database

The aim of the IACR Ph.D. database is twofold. On the first hand, we want to offer an overview of Ph.D. already completed in the domain of cryptology. Where possible, this should also include a subject classification, an abstract, and access to the full text. On the second hand, it deals with Ph.D. subjects currently under investigation. This way, we provide a timely map of contemporary research in cryptology. All entries or changes need to be approved by an editor. You can contact them via phds (at)


Gilles Barthe (#220)
Name Gilles Barthe
Personal Homepage
Last Change 2011-02-14 23:47:18
To provide an update on this entry, please click .

Gilles Barthe's Students

Santiago Zanella Beguelin - Formal Certification of Game-Based Cryptographic Proofs (foundations)

Contact: phds (at)

[ IACR home page ] [ IACR PhDs page ] © IACR