 Distributed Non-Interactive Zero-Knowledge ProofsIACR Cryptology ePrint Archive (IACR ePrint), 2025 |
 |
 Local certification of geometric graph classesInternational Symposium on Mathematical Foundations of Computer Science (MFCS), 2023 |
 Local Certification of Majority DynamicsConference on Current Trends in Theory and Practice of Informatics (CTTPI), 2023 |
 Distributed Certification for Classes of Dense GraphsInternational Symposium on Distributed Computing (DISC), 2023 |
 Distributed Quantum Interactive ProofsSymposium on Theoretical Aspects of Computer Science (STACS), 2022 |
 Distributed Merlin-Arthur Synthesis of Quantum States and Its
ApplicationsInternational Symposium on Mathematical Foundations of Computer Science (MFCS), 2022 |
 What can be certified compactly?ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), 2022 Nicolas Bousquet Laurent Feuilloley Théo Pierron |
 Distributed Interactive Proofs for the Recognition of Some Geometric
Intersection Graph ClassesColloquium on Structural Information & Communication Complexity (SIROCCO), 2021 |
 Compact Distributed Interactive Proofs for the Recognition of Cographs
and Distance-Hereditary GraphsSafety-critical Systems Symposium (SSS), 2020 |
 Twenty-Two New Approximate Proof Labeling Schemes (Full Version)International Symposium on Distributed Computing (DISC), 2020 |
 Local Certification of Graphs with Bounded GenusDiscrete Applied Mathematics (Discrete Appl. Math.), 2020 |
 Distributed Quantum Proofs for Replicated DataInformation Technology Convergence and Services (ITCS), 2020 |
 Introduction to local certificationDiscrete Mathematics & Theoretical Computer Science (DMTCS), 2019 Laurent Feuilloley |
