Romain Janvier

According to our database, Romain Janvier authored at least 9 papers between 2005 and 2016.

Collaborative distances:

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

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

Proceedings of the Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection, 2016

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

Proceedings of the Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection, 2016

2015

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

Proceedings of the 2015 International Conference on Image Processing Theory, 2015

2006

Certifying cryptographic protocols by abstract model-checking and proof concretization.

Romain Janvier, Yassine Lakhnech, Michaël Périn

SIGBED Rev., 2006

Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the First Workshop in Information and Computer Security, 2006

Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.

Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005

(De)Compositions of Cryptographic Schemes and their Applications to Protocols.

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

IACR Cryptol. ePrint Arch., 2005

Automatic Verification of Security Properties Based on Abstractions.

Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the Programming Languages and Systems, 2005