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)


Pablo Rauzy (#875)
Name Pablo Rauzy
Personal Homepage
Topic of his/her doctorate. Formal software methods against side-channel attacks
Category implementation
Ph.D. Supervisor(s) Sylvain Guilley, Jean-Luc Danger
Abstract My goals are twofold: first, I'd like to improve the automation of code and data protection against side-channel attacks (by reducing as much as possible the information leakage through side-channels such as time, temperature, or power consumption) using compilation techniques to formally prove the code transformation (ensuring that the protection did not alter the semantic of the cryptographic algorithm) ; second, I'd like to develop modelization methods and tools to help the formal study of side-channel attacks, and especially the efficiency of countermeasures.
Last Change 2013-05-30 16:12:06
To provide an update on this entry, please click .

Contact: phds (at)

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