Faire bonne figure avec MLPOST. - Romain Bardou; Jean-Christophe Filliâtre; Johannes Kanig; Stéphane Lescuyer (Stud. Inform. Univ., 2009)

Verification of Pointer Programs Using Regions and Permissions. (Vérification de programmes avec pointeurs à l'aide de régions et de permissions). - Romain Bardou (2011)

Efficient Padding Oracle Attacks on Cryptographic Hardware. - Romain Bardou; Riccardo Focardi; Yusuke Kawamoto 001; Lorenzo Simionato; Graham Steel; Joe-Kai Tsay (IACR Cryptol. ePrint Arch., 2012)