Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. - Romain Janvier; Yassine Lakhnech; Laurent Mazaré (ESOP, 2005)

Automatic Verification of Security Properties Based on Abstractions. - Liana Bozga; Cristian Ene; Romain Janvier; Yassine Lakhnech; Laurent Mazaré; Michaël Périn (VISSAS, 2005)

(De)Compositions of Cryptographic Schemes and their Applications to Protocols. - Romain Janvier; Yassine Lakhnech; Laurent Mazaré (IACR Cryptol. ePrint Arch., 2005)

Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. - Marion Daubignard; Romain Janvier; Yassine Lakhnech; Laurent Mazaré (Formal Aspects in Security and Trust, 2006)

Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. - Romain Janvier; Yassine Lakhnech; Laurent Mazaré (ICS@SYNASC, 2006)

Certifying cryptographic protocols by abstract model-checking and proof concretization. - Romain Janvier; Yassine Lakhnech; Michaël Périn (SIGBED Rev., 2006)

Automatic pattern recognition on archaeological ceramic by 2D and 3D image analysis: A feasibility study. - Teddy Debroutelle; Romain Janvier; Aladine Chetouani; Sylvie Treuillet; Matthieu Exbrayat; Lionel Martin; Sébastien Jesset (IPTA, 2015)

Preservation and Valorisation of Morocco's Ancient Heritage: Volubilis. - Muzahim Al-Mukhtar; Ali Chaaba; Mustapha Atki; Rachida Mahjoubi; Remi Deleplancque; Kevin Beck; Xavier Brunetaud; Romain Janvier; Khalid Cherkaoui; Issam Aalil; Dalal Badreddine; Ayda Sakali (EuroMed (2), 2016)

The Valmod Project: Historical and Realistic 3D Models for the Touristic Development of the Château de Chambord. - Xavier Brunetaud; Romain Janvier; Sarah Janvier-Badosa; Kevin Beck; Muzahim Al-Mukhtar (EuroMed (2), 2016)