Romain Janvier

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 2

Top Topics

Image Understanding

Digital Archives

Texture Classification

Support Environment

Top Venues

Publications

Xavier Brunetaud, Romain Janvier, Sarah Janvier-Badosa, Kevin Beck, Muzahim Al-Mukhtar
The Valmod Project: Historical and Realistic 3D Models for the Touristic Development of the Château de Chambord. EuroMed (2) (2016)
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
Preservation and Valorisation of Morocco's Ancient Heritage: Volubilis. EuroMed (2) (2016)
Teddy Debroutelle, Romain Janvier, Aladine Chetouani, Sylvie Treuillet, Matthieu Exbrayat, Lionel Martin, Sébastien Jesset
Automatic pattern recognition on archaeological ceramic by 2D and 3D image analysis: A feasibility study. IPTA (2015)
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. Electron. Notes Theor. Comput. Sci. 186 (2007)
Romain Janvier, Yassine Lakhnech, Michaël Périn
Certifying cryptographic protocols by abstract model-checking and proof concretization. SIGBED Rev. 3 (4) (2006)
Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. Formal Aspects in Security and Trust (2006)
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. ESOP (2005)
Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn
Automatic Verification of Security Properties Based on Abstractions. VISSAS (2005)
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
(De)Compositions of Cryptographic Schemes and their Applications to Protocols. IACR Cryptol. ePrint Arch. 2005 (2005)