Romain Bardou

Ingénieur INRIA au LSV, équipe SECSI

Mail : mon prénom at mon nom point fr

Chypre, ECOOP 2008

Efficient Padding Oracle Attacks

Le papier que nous publions à CRYPTO cet été 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