Fast Short and Fast Linear Cramer-Shoup. - Pascal Lafourcade 001; Léo Robert; Demba Sow (FPS, 2020)

Physical Zero-Knowledge Proof for Suguru Puzzle. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (SSS, 2020)

How to Teach the Undecidability of Malware Detection Problem and Halting Problem. - Matthieu Journault; Pascal Lafourcade 001; Malika More; Rémy Poulain; Léo Robert (WISE, 2020)

Linear Generalized ElGamal Encryption Scheme. - Demba Sow; Léo Robert; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2020)

Generic Construction for Identity-Based Proxy Blind Signature. - Xavier Bultel; Pascal Lafourcade 001; Charles Olivier-Anclin; Léo Robert (FPS, 2021)

Card-Based ZKP Protocols for Takuzu and Juosan. - Daiki Miyahara; Léo Robert; Pascal Lafourcade 001; So Takeshige; Takaaki Mizuki; Kazumasa Shinagawa; Atsuki Nagao; Hideaki Sone (FUN, 2021)

Fast Cramer-Shoup Cryptosystem. - Pascal Lafourcade 001; Léo Robert; Demba Sow (SECRYPT, 2021)

A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking. - Ghada Arfaoui; Pierre-Alain Fouque; Thibaut Jacques; Pascal Lafourcade 001; Adina Nedelcu; Cristina Onete; Léo Robert (IACR Cryptol. ePrint Arch., 2021)

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (IACR Cryptol. ePrint Arch., 2021)

How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition. - Pascal Lafourcade 001; Daiki Miyahara; Takaaki Mizuki; Léo Robert; Tatsuya Sasaki; Hideaki Sone (Theor. Comput. Sci., 2021)

A Survey on Identity-Based Blind Signature. - Mirko Koscina; Pascal Lafourcade 001; Gaël Marcadet; Charles Olivier-Anclin; Léo Robert (FPS, 2022)

Card-Based ZKP Protocol for Nurimisaki. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (SSS, 2022)

Hide a Liar: Card-Based ZKP Protocol for Usowan. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (TAMC, 2022)

How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. - Olivier Blazy; Ioana Boureanu; Pascal Lafourcade 001; Cristina Onete; Léo Robert (IACR Cryptol. ePrint Arch., 2022)

MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing. - Olivier Blazy; Pierre-Alain Fouque; Thibaut Jacques; Pascal Lafourcade 001; Cristina Onete; Léo Robert (IACR Cryptol. ePrint Arch., 2022)

RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version). - Pascal Lafourcade 001; Gaël Marcadet; Léo Robert (IACR Cryptol. ePrint Arch., 2022)

Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Luc Libralesso; Takaaki Mizuki (Inf. Comput., 2022)

Optimal threshold padlock systems. - Jannik Dreier; Jean-Guillaume Dumas; Pascal Lafourcade 001; Léo Robert (J. Comput. Secur., 2022)

Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (New Gener. Comput., 2022)

Design and analysis of provably secure protocols: Applications to messaging and attestation. (Conceptions et analyses de protocoles en sécurité prouvable: applications aux messageries et à l'attestation). - Léo Robert (2022)

Towards a Privacy-Preserving Attestation for Virtualized Networks. - Ghada Arfaoui; Thibaut Jacques; Marc Lacoste; Cristina Onete; Léo Robert (ESORICS (4), 2023)

RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol. - Gaël Marcadet; Pascal Lafourcade 001; Léo Robert (SAC, 2023)

The Calissons Puzzle. - Jean-Marie Favreau; Yan Gerard; Pascal Lafourcade 001; Léo Robert (CoRR, 2023)

Privacy-preserving Attestation for Virtualized Network Infrastructures. - Ghada Arfaoui; Thibaut Jacques; Marc Lacoste; Cristina Onete; Léo Robert (IACR Cryptol. ePrint Arch., 2023)

Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. - Samuel D. Hand; Alexander Koch 001; Pascal Lafourcade 001; Daiki Miyahara; Léo Robert (IACR Cryptol. ePrint Arch., 2023)

Physical ZKP protocols for Nurimisaki and Kurodoko. - Léo Robert; Daiki Miyahara; Pascal Lafourcade 001; Takaaki Mizuki (Theor. Comput. Sci., 2023)

iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption. - Pascal Lafourcade 001; Gaël Marcadet; Léo Robert (AFRICACRYPT, 2024)

Secure Keyless Multi-party Storage Scheme. - Pascal Lafourcade 001; Lola-Baie Mallordy; Charles Olivier-Anclin; Léo Robert (ESORICS (3), 2024)

Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun. - Samuel D. Hand; Alexander Koch 001; Pascal Lafourcade 001; Daiki Miyahara; Léo Robert (New Gener. Comput., 2024)

Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability. - Asma Khoualdia; Sami Cherif; Stéphane Devismes; Léo Robert (CP, 2025)