Romain Bardou

Mail: my firstname at my lastname dot fr

Cyprus, ECOOP 2008


Miscellaneous articles.

Efficient Padding Oracle Attacks (2012)

The paper we are publishing at CRYPTO this summer has been the subject of several articles, in particular on the internet. The information which is given is however often imprecise or exaggerated. Our FAQ answers the questions we received. Don't hesitate to read the article of Matthew Green who provides an excellent write-up.

PhD thesis

I did my PhD from septembre 2007 to octobre 2011 at INRIA Saclay - Île-de-France with Claude Marché, in the ProVal team.

Title : Vérification de programmes avec pointeurs à l'aide de régions et de permissions
Download the abstract, the thesis or the slides.

See also Capucine.



[5] Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel and Joe-Kai Tsay. Efficient Padding Oracle Attacks on Cryptographic Hardware. In the 32nd International Cryptology Conference (CRYPTO'12)bib | pdf ©IACR ]
[4] Romain Bardou and Claude Marché. Perle de preuve : les tableaux creux. In Vingt-deuxièmes Journées Francophones des Langages Applicatifs (JFLA'11)bib | pdf ]
[3] Romain Bardou and Claude Marché. Regions and permissions for verifying data invariants. Technical Report RR-7414, INRIA, 2010. [ bib | pdf ]
[2] Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, and Stéphane Lescuyer. Faire bonne figure avec Mlpost. In Vingtièmes Journées Francophones des Langages Applicatifs (JFLA'09)bib | pdf ]
[1] Romain Bardou. Ownership, Pointer Arithmetic and Memory Separation. In Formal Techniques for Java-like Programs (FTfJP'08), Paphos, Cyprus, July 2008. [ bib | pdf | pdf (long) | pdf (slides) ]