Intruder Deduction for AC-Like Equational Theories with Homomorphisms. - Pascal Lafourcade 001; Denis Lugiez; Ralf Treinen (RTA, 2005)

Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. - Stéphanie Delaune; Pascal Lafourcade 001; Denis Lugiez; Ralf Treinen (ICALP (2), 2006)

Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption. - Pascal Lafourcade 001 (SecReT@ICALP, 2006)

A survey of algebraic properties used in cryptographic protocols. - Véronique Cortier; Stéphanie Delaune; Pascal Lafourcade 001 (J. Comput. Secur., 2006)

Vérification de protocoles cryptographiques en présence de théories équationnelles. (Verification of cryptographic protocols in presence of equationnal theories). - Pascal Lafourcade 001 (2006)

Intruder deduction for the equational theory of Abelian groups with distributive encryption. - Pascal Lafourcade 001; Denis Lugiez; Ralf Treinen (Inf. Comput., 2007)

Attack and revison of an electronic auction protocol using OFMC. - Bogdan Ksiezopolski; Pascal Lafourcade 001 (Ann. UMCS Informatica, 2007)

Towards automated proofs for asymmetric encryption schemes in the random oracle model. - Judicaël Courant; Marion Daubignard; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (CCS, 2008)

Secure neighborhood discovery: a fundamental element for mobile ad hoc networking. - Panos Papadimitratos; Marcin Poturalski; Patrick Schaller; Pascal Lafourcade 001; David A. Basin; Srdjan Capkun; Jean-Pierre Hubaux (IEEE Commun. Mag., 2008)

Symbolic protocol analysis for monoidal equational theories. - Stéphanie Delaune; Pascal Lafourcade 001; Denis Lugiez; Ralf Treinen (Inf. Comput., 2008)

Automated Security Proof for Symmetric Encryption Modes. - Martin Gagné; Pascal Lafourcade 001; Yassine Lakhnech; Reihaneh Safavi-Naini (ASIAN, 2009)

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties. - Pascal Lafourcade 001; Vanessa Terrade; Sylvain Vigier (Formal Aspects in Security and Trust, 2009)

Comparing State Spaces in Automatic Security Protocol Analysis. - Cas J. F. Cremers; Pascal Lafourcade 001; Philippe Nadeau (Formal to Practical Security, 2009)

Privacy by Data Provenance with Digital Watermarking - A Proof-of-Concept Implementation for Medical Services with Electronic Health Records. - Jérémie Tharaud; Sven Wohlgemuth; Isao Echizen; Noboru Sonehara; Günter Müller; Pascal Lafourcade 001 (IIH-MSP, 2010)

How to prevent type-flaw attacks on security protocols under algebraic properties - Sreekanth Malladi; Pascal Lafourcade 001 (CoRR, 2010)

Benaloh's Dense Probabilistic Encryption Revisited. - Laurent Fousse; Pascal Lafourcade 001; Mohamed Alnuaimi (AFRICACRYPT, 2011)

Vote-Independence: A Powerful Privacy Notion for Voting Protocols. - Jannik Dreier; Pascal Lafourcade 001; Yassine Lakhnech (FPS, 2011)

Automated Verification of Block Cipher Modes of Operation, an Improved Method. - Martin Gagné; Pascal Lafourcade 001; Yassine Lakhnech; Reihaneh Safavi-Naini (FPS, 2011)

Automated Proofs for Asymmetric Encryption. - Judicaël Courant; Marion Daubignard; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (J. Autom. Reason., 2011)

Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks. (Sécurité assistée par ordinateur pour les primitives cryptgraphiques, les protocoles de vote électronique et les réseaux de capteurs sans fil). - Pascal Lafourcade 001 (2012)

Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. - Jannik Dreier; Pascal Lafourcade 001; Yassine Lakhnech (ESORICS, 2012)

A formal taxonomy of privacy in voting protocols. - Jannik Dreier; Pascal Lafourcade 001; Yassine Lakhnech (ICC, 2012)

Analysis of Random Walks Using Tabu Lists. - Karine Altisen; Stéphane Devismes; Antoine Gerbaud; Pascal Lafourcade 001 (SIROCCO, 2012)

Attacking Privacy in a Fully Private Auction Protocol - Jannik Dreier; Jean-Guillaume Dumas; Pascal Lafourcade 001 (CoRR, 2012)

Defining verifiability in e-auction protocols. - Jannik Dreier; Hugo Jonker; Pascal Lafourcade 001 (AsiaCCS, 2013)

On Unique Decomposition of Processes in the Applied π-Calculus. - Jannik Dreier; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (FoSSaCS, 2013)

Discovering Flaws in IDS Through Analysis of Their Inputs. - Raphaël Jamet; Pascal Lafourcade 001 (FPS, 2013)

A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks. - Ali Kassem 001; Pascal Lafourcade 001; Yassine Lakhnech (FPS, 2013)

Formal Verification of e-Auction Protocols. - Jannik Dreier; Pascal Lafourcade 001; Yassine Lakhnech (POST, 2013)

Automated Security Proofs for Almost-Universal Hash for MAC verification. - Martin Gagné; Pascal Lafourcade 001; Yassine Lakhnech (IACR Cryptol. ePrint Arch., 2013)

Multihop Node Authentication Mechanisms for Wireless Sensor Networks. - Ismail Mansour; Damian Rusinek; Gérard Chalhoub; Pascal Lafourcade 001; Bogdan Ksiezopolski (ADHOC-NOW, 2014)

Secure Multihop Key Establishment Protocols for Wireless Sensor Networks. - Ismail Mansour; Gérard Chalhoub; Pascal Lafourcade 001 (CSS, 2014)

(In)Corruptibility of Routing Protocols. - Raphaël Jamet; Pascal Lafourcade 001 (FPS, 2014)

Formal Verification of e-Reputation Protocols. - Ali Kassem 001; Pascal Lafourcade 001; Yassine Lakhnech (FPS, 2014)

Secure Auctions without Cryptography. - Jannik Dreier; Hugo Jonker; Pascal Lafourcade 001 (FUN, 2014)

Formal Security Analysis of Traditional and Electronic Exams. - Jannik Dreier; Rosario Giustolisi; Ali Kassem 001; Pascal Lafourcade 001; Gabriele Lenzini; Peter Y. A. Ryan (ICETE (Selected Papers), 2014)

Performances of cryptographic accumulators. - Amrit Kumar 001; Pascal Lafourcade 001; Cédric Lauradoux (LCN, 2014)

Secure key renewal and revocation for Wireless Sensor Networks. - Ismail Mansour; Gérard Chalhoub; Pascal Lafourcade 001; François Delobel (LCN, 2014)

Formal Analysis of Electronic Exams. - Jannik Dreier; Rosario Giustolisi; Ali Kassem 001; Pascal Lafourcade 001; Gabriele Lenzini; Peter Y. A. Ryan (SECRYPT, 2014)

Comparison of mean hitting times for a degree-biased random walk. - Antoine Gerbaud; Karine Altisen; Stéphane Devismes; Pascal Lafourcade 001 (Discret. Appl. Math., 2014)

Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks. - Ismail Mansour; Gérard Chalhoub; Pascal Lafourcade 001 (J. Sens. Actuator Networks, 2014)

SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor Networks. - Affoua Thérèse Aby; Alexandre Guitton; Pascal Lafourcade 001; Michel Misson (ADHOCNETS, 2015)

Survey of Distance Bounding Protocols and Threats. - Agnès Brelurut; David Gérault; Pascal Lafourcade 001 (FPS, 2015)

Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties. - Pascal Lafourcade 001; Maxime Puys (FPS, 2015)

Automated Verification of e-Cash Protocols. - Jannik Dreier; Ali Kassem 001; Pascal Lafourcade 001 (ICETE (Selected Papers), 2015)

A Framework for Analyzing Verifiability in Traditional and Electronic Exams. - Jannik Dreier; Rosario Giustolisi; Ali Kassem 001; Pascal Lafourcade 001; Gabriele Lenzini (ISPEC, 2015)

Monitoring Electronic Exams. - Ali Kassem 001; Yliès Falcone; Pascal Lafourcade 001 (RV, 2015)

Formal Analysis of E-Cash Protocols. - Jannik Dreier; Ali Kassem 001; Pascal Lafourcade 001 (SECRYPT, 2015)

Brandt's fully private auction protocol revisited. - Jannik Dreier; Jean-Guillaume Dumas; Pascal Lafourcade 001 (J. Comput. Secur., 2015)

Key Management inWireless Sensor Networks. - Ismail Mansour; Gérard Chalhoub; Pascal Lafourcade 001 (J. Sens. Actuator Networks, 2015)

k-Times Full Traceable Ring Signature. - Xavier Bultel; Pascal Lafourcade 001 (ARES, 2016)

Anonymizable Ring Signature Without Pairing. - Olivier Blazy; Xavier Bultel; Pascal Lafourcade 001 (FPS, 2016)

Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. - Xavier Bultel; Jannik Dreier; Jean-Guillaume Dumas; Pascal Lafourcade 001 (FUN, 2016)

Related-Key Cryptanalysis of Midori. - David Gérault; Pascal Lafourcade 001 (INDOCRYPT, 2016)

Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. - Maxime Puys; Marie-Laure Potet; Pascal Lafourcade 001 (SAFECOMP, 2016)

A Posteriori Openable Public Key Encryption. - Xavier Bultel; Pascal Lafourcade 001 (SEC, 2016)

Two Secure Anonymous Proxy-based Data Storages. - Olivier Blazy; Xavier Bultel; Pascal Lafourcade 001 (SECRYPT, 2016)

Private Multi-party Matrix Multiplication and Trust Computations. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Jean-Baptiste Orfila; Maxime Puys (SECRYPT, 2016)

A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol. - Xavier Bultel; Sébastien Gambs; David Gérault; Pascal Lafourcade 001; Cristina Onete; Jean-Marc Robert 001 (WISEC, 2016)

Formal verification of mobile robot protocols. - Béatrice Bérard; Pascal Lafourcade 001; Laure Millet; Maria Potop-Butucaru; Yann Thierry-Mieg; Sébastien Tixeuil (Distributed Comput., 2016)

Automated Proofs of Block Cipher Modes of Operation. - Martin Gagné; Pascal Lafourcade 001; Yassine Lakhnech; Reihaneh Safavi-Naini (J. Autom. Reason., 2016)

History-based MAC Protocol for Low Duty-Cycle Wireless Sensor Networks: the SLACK-MAC Protocol. - Affoua Thérèse Aby; Alexandre Guitton; Pascal Lafourcade 001; Michel Misson (EAI Endorsed Trans. Mob. Commun. Appl., 2016)

On the existence and decidability of unique decompositions of processes in the applied π-calculus. - Jannik Dreier; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (Theor. Comput. Sci., 2016)

Secure Matrix Multiplication with MapReduce. - Xavier Bultel; Radu Ciucanu; Matthieu Giraud; Pascal Lafourcade 001 (ARES, 2017)

Formal Analysis of Combinations of Secure Protocols. - Elliott Blot; Jannik Dreier; Pascal Lafourcade 001 (FPS, 2017)

No Such Thing as a Small Leak: Leakage-Abuse Attacks Against Symmetric Searchable Encryption. - Alexandre Anzala-Yamajako; Olivier Bernard 002; Matthieu Giraud; Pascal Lafourcade 001 (ICETE (Selected Papers), 2017)

LocalPKI: An Interoperable and IoT Friendly PKI. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Francis Melemedjian; Jean-Baptiste Orfila; Pascal Thoniel (ICETE (Selected Papers), 2017)

Duck Attack on Accountable Distributed Systems. - Amrit Kumar 001; Cédric Lauradoux; Pascal Lafourcade 001 (MobiQuitous, 2017)

Formal Analyze of a Private Access Control Protocol to a Cloud Storage. - Mouhebeddine Berrima; Pascal Lafourcade 001; Matthieu Giraud; Narjes Ben Rajeb (SECRYPT, 2017)

Formally Verifying Flow Properties in Industrial Systems. - Jannik Dreier; Maxime Puys; Marie-Laure Potet; Pascal Lafourcade 001; Jean-Louis Roch (SECRYPT, 2017)

LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Francis Melemedjian; Jean-Baptiste Orfila; Pascal Thoniel (SECRYPT, 2017)

Dual protocols for private multi-party matrix multiplication and trust computations. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Jean-Baptiste Orfila; Maxime Puys (Comput. Secur., 2017)

How to explain modern security concepts to your children. - Xavier Bultel; Jannik Dreier; Pascal Lafourcade 001; Malika More (Cryptologia, 2017)

Formal analysis and offline monitoring of electronic exams. - Ali Kassem 001; Yliès Falcone; Pascal Lafourcade 001 (Formal Methods Syst. Des., 2017)

A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. - Gildas Avoine; Xavier Bultel; Sébastien Gambs; David Gérault; Pascal Lafourcade 001; Cristina Onete; Jean-Marc Robert 001 (IACR Cryptol. ePrint Arch., 2017)

Breaking and Fixing the HB+DB protocol. - Ioana Boureanu; David Gérault; Pascal Lafourcade 001; Cristina Onete (IACR Cryptol. ePrint Arch., 2017)

Verifiable Private Polynomial Evaluation. - Xavier Bultel; Manik Lal Das; Hardik Gajera; David Gérault; Matthieu Giraud; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2017)

Zero-Knowledge Proxy Re-Identification Revisited. - Xavier Bultel; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2017)

Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures. - Xavier Bultel; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2017)

Practical Passive Leakage-Abuse Attacks Against Symmetric Searchable Encryption. - Matthieu Giraud; Alexandre Anzala-Yamajako; Olivier Bernard 002; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2017)

Analysis of AES, SKINNY, and Others with Constraint Programming. - Siwei Sun; David Gérault; Pascal Lafourcade 001; Qianqian Yang 003; Yosuke Todo; Kexin Qiao; Lei Hu 003 (IACR Trans. Symmetric Cryptol., 2017)

SR3: secure resilient reputation-based routing. - Karine Altisen; Stéphane Devismes; Raphaël Jamet; Pascal Lafourcade 001 (Wirel. Networks, 2017)

Verify-Your-Vote: A Verifiable Blockchain-Based Online Voting Protocol. - Marwa Chaieb; Souheib Yousfi; Pascal Lafourcade 001; Riadh Robbana (EMCIS, 2018)

Secure Joins with MapReduce. - Xavier Bultel; Radu Ciucanu; Matthieu Giraud; Pascal Lafourcade 001; Lihua Ye (FPS, 2018)

A Cryptographer's Conspiracy Santa. - Xavier Bultel; Jannik Dreier; Jean-Guillaume Dumas; Pascal Lafourcade 001 (FUN, 2018)

Secure Grouping and Aggregation with MapReduce. - Radu Ciucanu; Matthieu Giraud; Pascal Lafourcade 001; Lihua Ye (ICETE (2), 2018)

Security analysis and psychological study of authentication methods with PIN codes. - Xavier Bultel; Jannik Dreier; Matthieu Giraud; Marie Izaute; Timothée Kheyrkhah; Pascal Lafourcade 001; Dounia Lakhzoum; Vincent Marlin; Ladislav Moták (RCIS, 2018)

Physical Zero-Knowledge Proof for Makaro. - Xavier Bultel; Jannik Dreier; Jean-Guillaume Dumas; Pascal Lafourcade 001; Daiki Miyahara; Takaaki Mizuki; Atsuki Nagao; Tatsuya Sasaki; Kazumasa Shinagawa; Hideaki Sone (SSS, 2018)

Revisiting AES related-key differential attacks with constraint programming. - David Gérault; Pascal Lafourcade 001; Marine Minier; Christine Solnon (Inf. Process. Lett., 2018)

Interactive Physical Zero-Knowledge Proof for Norinori. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Daiki Miyahara; Takaaki Mizuki; Tatsuya Sasaki; Hideaki Sone (COCOON, 2019)

Get-your-ID: Decentralized Proof of Identity. - Pascal Lafourcade 001; Marius Lombard-Platet (FPS, 2019)

Security Analysis of Auctionity: A Blockchain Based E-Auction. - Pascal Lafourcade 001; Mike Nopere; Jérémy Picot; Daniela Pizzuti; Etienne Roudeix (FPS, 2019)

Towards Secure TMIS Protocols. - David Gérault; Pascal Lafourcade 001 (FPS, 2019)

DABSTERS: Distributed Authorities using Blind Signature to Effect Robust Security in e-Voting. - Marwa Chaieb; Mirko Koscina; Souheib Yousfi; Pascal Lafourcade 001; Riadh Robbana (ICETE (2), 2019)

Secure Strassen-Winograd Matrix Multiplication with MapReduce. - Radu Ciucanu; Matthieu Giraud; Pascal Lafourcade 001; Lihua Ye (ICETE (2), 2019)

Secure and Efficient Matrix Multiplication with MapReduce. - Radu Ciucanu; Matthieu Giraud; Pascal Lafourcade 001; Lihua Ye (ICETE (Selected Papers), 2019)

Secure Intersection with MapReduce. - Radu Ciucanu; Matthieu Giraud; Pascal Lafourcade 001; Lihua Ye (ICETE (2), 2019)

DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. - Marwa Chaieb; Mirko Koscina; Souheib Yousfi; Pascal Lafourcade 001; Riadh Robbana (ICTAC, 2019)

Light Cryptography. - Pascal Lafourcade 001; Takaaki Mizuki; Atsuki Nagao; Kazumasa Shinagawa (World Conference on Information Security Education, 2019)

A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation. - Pascal Lafourcade 001; Daiki Miyahara; Takaaki Mizuki; Tatsuya Sasaki; Hideaki Sone (ISPEC, 2019)

Secure Best Arm Identification in Multi-armed Bandits. - Radu Ciucanu; Pascal Lafourcade 001; Marius Lombard-Platet; Marta Soare (ISPEC, 2019)

Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Julio López Fenner; David Lucas 001; Jean-Baptiste Orfila; Clément Pernet; Maxime Puys (IWSEC, 2019)

Infinite Grid Exploration by Disoriented Robots. - Quentin Bramas; Stéphane Devismes; Pascal Lafourcade 001 (SIROCCO, 2019)

Verifiable and Private Oblivious Polynomial Evaluation. - Hardik Gajera; Matthieu Giraud; David Gérault; Manik Lal Das; Pascal Lafourcade 001 (WISTP, 2019)

Formally and practically verifying flow properties in industrial systems. - Jannik Dreier; Maxime Puys; Marie-Laure Potet; Pascal Lafourcade 001; Jean-Louis Roch (Comput. Secur., 2019)

Efficient Invisible and Unlinkable Sanitizable Signatures. - Xavier Bultel; Pascal Lafourcade 001; Russell W. F. Lai; Giulio Malavolta; Dominique Schröder; Sri Aravinda Krishnan Thyagarajan (IACR Cryptol. ePrint Arch., 2019)

Secure Trick-Taking Game Protocols: How to Play Online Spades with Cheaters. - Xavier Bultel; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2019)

A silver bullet?: a comparison of accountants and developers mental models in the raise of blockchain. - Rose Esmander; Pascal Lafourcade 001; Marius Lombard-Platet; Claudia Negri-Ribalta (ARES, 2020)

GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation. - Radu Ciucanu; Pascal Lafourcade 001 (DBSec, 2020)

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

Secure Cumulative Reward Maximization in Linear Stochastic Bandits. - Radu Ciucanu; Anatole Delabrouille; Pascal Lafourcade 001; Marta Soare (ProvSec, 2020)

Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation. - Radu Ciucanu; Pascal Lafourcade 001 (ISWC (Demos/Industry), 2020)

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

Proof of Behavior (Short Paper). - Paul-Marie Grollemund; Pascal Lafourcade 001; Kevin Thiry-Atighehchi; Ariane Tichit (Tokenomics, 2020)

Secure Outsourcing of Multi-Armed Bandits. - Radu Ciucanu; Pascal Lafourcade 001; Marius Lombard-Platet; Marta Soare (TrustCom, 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)

Computing AES related-key differential characteristics with constraint programming. - David Gérault; Pascal Lafourcade 001; Marine Minier; Christine Solnon (Artif. Intell., 2020)

Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. - Ioana Boureanu; Constantin Catalin Dragan; François Dupressoir; David Gérault; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2020)

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

About blockchain interoperability. - Pascal Lafourcade 001; Marius Lombard-Platet (Inf. Process. Lett., 2020)

A faster cryptographer's Conspiracy Santa. - Xavier Bultel; Jannik Dreier; Jean-Guillaume Dumas; Pascal Lafourcade 001 (Theor. Comput. Sci., 2020)

From Relay Attacks to Distance-Bounding Protocols. - Gildas Avoine; Ioana Boureanu; David Gérault; Gerhard P. Hancke 002; Pascal Lafourcade 001; Cristina Onete (Security of Ubiquitous Computing Systems, 2021)

Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge). - Loïc Crombez; Guilherme Dias da Fonseca; Yan Gerard; Aldo Gonzalez-Lorenzo; Pascal Lafourcade 001; Luc Libralesso (SoCG, 2021)

Automatic Generation of Declarative Models For Differential Cryptanalysis. - Luc Libralesso; François Delobel; Pascal Lafourcade 001; Christine Solnon (CP, 2021)

Mechanised Models and Proofs for Distance-Bounding. - Ioana Boureanu; Constantin Catalin Dragan; François Dupressoir; David Gérault; Pascal Lafourcade 001 (CSF, 2021)

Generic Plaintext Equality and Inequality Proofs. - Olivier Blazy; Xavier Bultel; Pascal Lafourcade 001; Octavio Perez-Kempner (Financial Cryptography (1), 2021)

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

Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots. - Quentin Bramas; Pascal Lafourcade 001; Stéphane Devismes (FUN, 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)

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality. - Arthur Rauch; Quentin Bramas; Stéphane Devismes; Pascal Lafourcade 001; Anissa Lamani (NETYS, 2021)

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

Design and practical implementation of verify-your-vote protocol. - Marwa Chaieb; Souheib Yousfi; Pascal Lafourcade 001; Riadh Robbana (Concurr. Comput. Pract. Exp., 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)

Generic Plaintext Equality and Inequality Proofs (Extended Version). - Olivier Blazy; Xavier Bultel; Pascal Lafourcade 001; Octavio Perez-Kempner (IACR Cryptol. ePrint Arch., 2021)

Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes. - Aisling Connolly; Pascal Lafourcade 001; Octavio Perez-Kempner (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 generate perfect mazes? - V. Bellot; Maxime Cautrès; Jean-Marie Favreau; M. Gonzalez-Thauvin; Pascal Lafourcade 001; Kergann Le Cornec; B. Mosnier; S. Rivière-Wekstein (Inf. Sci., 2021)

Blockchain Mirage or Silver Bullet? A Requirements-driven Comparative Analysis of Business and Developers' Perceptions in the Accountancy Domain. - Claudia Negri-Ribalta; Marius Lombard-Platet; Camille Salinesi; Pascal Lafourcade 001 (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 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)

Local Search with Weighting Schemes for the CG: SHOP 2022 Competition (CG Challenge). - Florian Fontan; Pascal Lafourcade 001; Luc Libralesso; Benjamin Momège (SoCG, 2022)

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

Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? - Quentin Bramas; Stéphane Devismes; Anaïs Durand; Pascal Lafourcade 001; Anissa Lamani (FUN, 2022)

Samba: A System for Secure Federated Multi-Armed Bandits. - Gaël Marcadet; Radu Ciucanu; Pascal Lafourcade 001; Marta Soare; Sihem Amer-Yahia (ICDE, 2022)

Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric. - Aisling Connolly; Jérôme Deschamps; Pascal Lafourcade 001; Octavio Perez-Kempner (INDOCRYPT, 2022)

Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. - Camille Sivelle; Lorys Debbah; Maxime Puys; Pascal Lafourcade 001; Thibault Franco-Rondisson (NordSec, 2022)

Authentication Attacks on Projection-based Cancelable Biometric Schemes. - Axel Durbet; Paul-Marie Grollemund; Pascal Lafourcade 001; Denis Migdal; Kevin Thiry-Atighehchi (SECRYPT, 2022)

Near-collisions and Their Impact on Biometric Security. - Axel Durbet; Paul-Marie Grollemund; Pascal Lafourcade 001; Kevin Thiry-Atighehchi (SECRYPT, 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)

Near-collisions and their Impact on Biometric Security (long). - Axel Durbet; Paul-Marie Grollemund; Pascal Lafourcade 001; Kevin Thiry-Atighehchi (CoRR, 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)

Protego: A Credential Scheme for Permissioned Blockchains (Extended Version). - Aisling Connolly; Jérôme Deschamps; Pascal Lafourcade 001; Octavio Perez-Kempner (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)

SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits. - Radu Ciucanu; Pascal Lafourcade 001; Gaël Marcadet; Marta Soare (J. Artif. Intell. Res., 2022)

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

Shadoks Approach to Low-Makespan Coordinated Motion Planning. - Loïc Crombez; Guilherme Dias da Fonseca; Yan Gerard; Aldo Gonzalez-Lorenzo; Pascal Lafourcade 001; Luc Libralesso (ACM J. Exp. Algorithmics, 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)

Perpetual Torus Exploration by Myopic Luminous Robots: The Animations. - Omar Darwich; Ahmet-Sefa Ulucan; Quentin Bramas; Anissa Lamani; Anaïs Durand; Pascal Lafourcade 001 (Zenodo, 2022)

Perpetual Torus Exploration by Myopic Luminous Robots: The Animations. - Omar Darwich; Ahmet-Sefa Ulucan; Quentin Bramas; Anissa Lamani; Anaïs Durand; Pascal Lafourcade 001 (Zenodo, 2022)

Perpetual Torus Exploration by Myopic Luminous Robots: The Animations. - Omar Darwich; Ahmet-Sefa Ulucan; Quentin Bramas; Anissa Lamani; Anaïs Durand; Pascal Lafourcade 001 (Zenodo, 2022)

An Introduction to Tools for Formal Analysis of Cryptographic Protocols. - Murat Moran; Pascal Lafourcade 001; Maxime Puys; David Williams (Handb. Formal Anal. Verification Cryptogr., 2023)

Generic and Universal Local Cryptocurrency: LCoin. - Frédéric A. Hayek; Pascal Lafourcade 001; Ariane Tichit (BRAINS, 2023)

SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract). - Radu Ciucanu; Pascal Lafourcade 001; Gaël Marcadet; Marta Soare (IJCAI, 2023)

Generic Privacy Preserving Private Permissioned Blockchains. - Frédéric A. Hayek; Mirko Koscina; Pascal Lafourcade 001; Charles Olivier-Anclin (SAC, 2023)

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

Generic Blockchain on Generic Human Behavior. - Clémentine Gritti; Frédéric A. Hayek; Pascal Lafourcade 001 (SECRYPT, 2023)

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

Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside. - Rohann Bella; Xavier Bultel; Céline Chevalier; Pascal Lafourcade 001; Charles Olivier-Anclin (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)

Secure protocols for cumulative reward maximization in stochastic multi-armed bandits. - Radu Ciucanu; Pascal Lafourcade 001; Marius Lombard-Platet; Marta Soare (J. Comput. Secur., 2023)

Privacy-Preserving Proof-of-Location With Security Against Geo-Tampering. - Md. Mamunur Rashid Akand; Reihaneh Safavi-Naini; Marc Kneppers; Matthieu Giraud; Pascal Lafourcade 001 (IEEE Trans. Dependable Secur. Comput., 2023)

Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed Bandits. - Radu Ciucanu; Anatole Delabrouille; Pascal Lafourcade 001; Marta Soare (IEEE Trans. Dependable Secur. Comput., 2023)

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

Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality. - Quentin Bramas; Pascal Lafourcade 001; Stéphane Devismes (Theor. Comput. Sci., 2023)

Perpetual torus exploration by myopic luminous robots. - Omar Darwich; Ahmet-Sefa Ulucan; Quentin Bramas; Anissa Lamani; Anaïs Durand; Pascal Lafourcade 001 (Theor. Comput. Sci., 2023)

Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring. - Loïc Crombez; Guilherme Dias da Fonseca; Florian Fontan; Yan Gerard; Aldo Gonzalez-Lorenzo; Pascal Lafourcade 001; Luc Libralesso; Benjamin Momège; Jack Spalding-Jamieson; Brandon Zhang; Da Wei Zheng (ACM J. Exp. Algorithmics, 2023)

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

Transferable, Auditable and Anonymous Ticketing Protocol. - Pascal Lafourcade 001; Dhekra Mahmoud; Gaël Marcadet; Charles Olivier-Anclin (AsiaCCS, 2024)

Cryptographic Cryptid Protocols - How to Play Cryptid with Cheaters. - Xavier Bultel; Charlène Jojon; Pascal Lafourcade 001 (CANS (1), 2024)

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

Secure Voting Protocol Using Balance Scale. - Shohei Kaneko; Pascal Lafourcade 001; Lola-Baie Mallordy; Daiki Miyahara; Maxime Puys; Kazuo Sakiyama (FPS (1), 2024)

How Did They Design This Game? Swish: Complexity and Unplayable Positions. - Antoine Dailly; Pascal Lafourcade 001; Gaël Marcadet (FUN, 2024)

Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles. - Shohei Kaneko; Pascal Lafourcade 001; Lola-Baie Mallordy; Daiki Miyahara; Maxime Puys; Kazuo Sakiyama (ISC (1), 2024)

A Unified Symbolic Analysis of WireGuard. - Pascal Lafourcade 001; Dhekra Mahmoud; Sylvain Ruhault (NDSS, 2024)

Formal Analysis of C-ITS PKI Protocols. - Mounira Msahli; Pascal Lafourcade 001; Dhekra Mahmoud (SECRYPT, 2024)

Optimal Asynchronous Perpetual Grid Exploration. - Quentin Bramas; Stéphane Devismes; Anaïs Durand; Pascal Lafourcade 001; Anissa Lamani (SSS, 2024)

Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets. - Jannik Dreier; Pascal Lafourcade 001; Dhekra Mahmoud (USENIX Security Symposium, 2024)

Accuracy Limits as a Barrier to Biometric System Security. - Axel Durbet; Paul-Marie Grollemund; Pascal Lafourcade 001; Kevin Thiry-Atighehchi (CoRR, 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)

Defining Security Limits in Biometrics. - Axel Durbet; Paul-Marie Grollemund; Pascal Lafourcade 001; Kevin Thiry-Atighehchi (CODASPY, 2025)

Infinite grid exploration with synchronous myopic robots without chirality. - Quentin Bramas; Pascal Lafourcade 001; Stéphane Devismes (Discret. Appl. Math., 2025)

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization. - Pascal Lafourcade 001; Dhekra Mahmoud; Sylvain Ruhault; Abdul Rahman Taleb (IACR Cryptol. ePrint Arch., 2025)

Experiment artifacts for ASIACCS 2025 submission #175. - Ayoub Ben Hassen; Pascal Lafourcade 001; Dhekra Mahmoud; Maxime Puys (Zenodo, 2025)