PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. - Benoît Boyer; Kevin Corre; Axel Legay; Sean Sedwards (QEST, 2013)

Measuring Global Similarity Between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (SLSP, 2014)

Measuring Structural Distances between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (CoRR, 2014)

Global Identity and Reachability Framework for Interoperable P2P Communication Services. - Ibrahim Tariq Javed; Rebecca Copeland; Noël Crespi; Felix Beierle; Sebastian Göndör; Axel Küpper; Ahmed Bouabdallah; Marc Emmelmann; Andreea Ancuta Corici; Kevin Corre; Jean-Michel Crom; Frank Oberle; et al. (ICIN, 2016)

A WebRTC Extension to Allow Identity Negotiation at Runtime. - Kevin Corre; Simon Bécot; Olivier Barais; Gerson Sunyé (ICWE, 2017)

Cross-domain identity and discovery framework for web calling services. - Ibrahim Tariq Javed; Rebecca Copeland; Noël Crespi; Marc Emmelmann; Andreea Ancuta Corici; Ahmed Bouabdallah; Tuo Zhang; Saad El Jaouhari; Felix Beierle; Sebastian Göndör; Axel Küpper; Kevin Corre; et al. (Ann. des Télécommunications, 2017)

Why can't users choose their identity providers on the web? - Kevin Corre; Olivier Barais; Gerson Sunyé; Vincent Frey; Jean-Michel Crom (Proc. Priv. Enhancing Technol., 2017)

User controlled trust and security level of Web real-time communications. (Niveau de confiance et de sécurité des communications Web temps-réel contrôlé par l'utilisateur). - Kevin Corre (2018)