Romain Bardou

According to our database, Romain Bardou authored at least 3 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Efficient Padding Oracle Attacks on Cryptographic Hardware.

Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay

Proceedings of the Advances in Cryptology - CRYPTO 2012, 2012

2011

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

Romain Bardou

PhD thesis, 2011

2009

Faire bonne figure avec Mlpost.

Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer

Proceedings of the JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31, 2009