Romain BardouMail : mon prénom at mon nom point fr |
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.
[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) ] |