Romain Bardou

Ingénieur Inria dans l’équipe PROSECCO.
Architecte en chef de Cryptosense.

Mail : mon prénom at mon nom point fr

Chypre, ECOOP 2008

Efficient Padding Oracle Attacks

Le papier que nous avons publié à CRYPTO 2012 a fait l'objet de plusieurs articles, notamment sur internet. Les informations données sont cependant parfois imprécises ou exagérées. Notre FAQ répond aux questions que nous avons reçues. N'hésitez pas à lire l'article de Matthew Green qui donne un excellent aperçu de notre papier.

Thèse

J'ai effectué ma thèse de septembre 2007 à octobre 2011 à l'INRIA Saclay - Île-de-France avec Claude Marché, dans l'équipe ProVal.

Titre : Vérification de programmes avec pointeurs à l'aide de régions et de permissions
Téléchargez le résumé, le manuscript ou l'exposé.

Voir aussi Capucine.

Projets

Publications

[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) ]

Exposés

Stages