Pascal Lafourcade

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 160

Top Venues

IACR Cryptol. ePrint Arch.

FPS

SECRYPT

CoRR

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Antoine Dailly, Pascal Lafourcade, Gaël Marcadet
How Did They Design This Game? Swish: Complexity and Unplayable Positions. FUN (2024)
Pascal Lafourcade, Dhekra Mahmoud, Gaël Marcadet, Charles Olivier-Anclin
Transferable, Auditable and Anonymous Ticketing Protocol. AsiaCCS (2024)
Pascal Lafourcade, Gaël Marcadet, Léo Robert
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption. AFRICACRYPT (2024)
Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud
Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets. USENIX Security Symposium (2024)
Loïc Crombez, Guilherme Dias da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, Da Wei Zheng
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring. ACM J. Exp. Algorithmics 28 (2023)
Frédéric A. Hayek, Pascal Lafourcade, Ariane Tichit
Generic and Universal Local Cryptocurrency: LCoin. BRAINS (2023)
Clémentine Gritti, Frédéric A. Hayek, Pascal Lafourcade
Generic Blockchain on Generic Human Behavior. SECRYPT (2023)
Gael Marcadet, Pascal Lafourcade, Léo Robert
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol. SAC (2023)
Frédéric A. Hayek, Mirko Koscina, Pascal Lafourcade, Charles Olivier-Anclin
Generic Privacy Preserving Private Permissioned Blockchains. SAC (2023)
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin
Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside. IACR Cryptol. ePrint Arch. 2023 (2023)
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. IWSEC (2023)
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality. Theor. Comput. Sci. 977 (2023)
Radu Ciucanu, Pascal Lafourcade, Gael Marcadet, Marta Soare
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract). IJCAI (2023)
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade
Perpetual torus exploration by myopic luminous robots. Theor. Comput. Sci. 976 (2023)
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. USENIX Security Symposium (2023)
Mamunur Akand, Reihaneh Safavi-Naini, Marc Kneppers, Matthieu Giraud, Pascal Lafourcade
Privacy-Preserving Proof-of-Location With Security Against Geo-Tampering. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin
Practical Construction for Secure Trick-Taking Games Even with Cards Set Aside. FC (1) (2023)
Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Léo Robert
The Calissons Puzzle. CoRR (2023)
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. IACR Cryptol. ePrint Arch. 2023 (2023)
Loïc Crombez, Guilherme Dias da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, Da Wei Zheng
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring. CoRR (2023)
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare
Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed Bandits. IEEE Trans. Dependable Secur. Comput. 20 (2) (2023)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Physical ZKP protocols for Nurimisaki and Kurodoko. Theor. Comput. Sci. 972 (2023)
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
Secure protocols for cumulative reward maximization in stochastic multi-armed bandits. J. Comput. Secur. 31 (1) (2023)
Pascal Lafourcade, Gael Marcadet, Léo Robert
Faster Non-interactive Verifiable Computing. IACR Cryptol. ePrint Arch. 2022 (2022)
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. IACR Cryptol. ePrint Arch. 2022 (2022)
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing. IACR Cryptol. ePrint Arch. 2022 (2022)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Hide a Liar: Card-Based ZKP Protocol for Usowan. TAMC (2022)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake. New Gener. Comput. 40 (1) (2022)
Aisling Connolly, Jerome Deschamps, Pascal Lafourcade, Octavio Perez-Kempner
Protego: A Credential Scheme for Permissioned Blockchains (Extended Version). IACR Cryptol. ePrint Arch. 2022 (2022)
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi
Near-collisions and Their Impact on Biometric Security. SECRYPT (2022)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. Inf. Comput. 285 (Part) (2022)
Mirko Koscina, Pascal Lafourcade, Gael Marcadet, Charles Olivier-Anclin, Léo Robert
A Survey on Identity-Based Blind Signature. FPS (2022)
Gael Marcadet, Radu Ciucanu, Pascal Lafourcade, Marta Soare, Sihem Amer-Yahia
Samba: A System for Secure Federated Multi-Armed Bandits. ICDE (2022)
Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
Shadoks Approach to Low-Makespan Coordinated Motion Planning. ACM J. Exp. Algorithmics 27 (2022)
Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner
Improved Constructions of Anonymous Credentials from Structure-Preserving Signatures on Equivalence Classes. Public Key Cryptography (1) (2022)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal threshold padlock systems. J. Comput. Secur. 30 (5) (2022)
Radu Ciucanu, Pascal Lafourcade, Gael Marcadet, Marta Soare
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits. J. Artif. Intell. Res. 73 (2022)
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing. SAC (2022)
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking. ACNS (2022)
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? FUN (2022)
Aisling Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner
Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric. INDOCRYPT (2022)
Pascal Lafourcade, Gael Marcadet, Léo Robert
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version). IACR Cryptol. ePrint Arch. 2022 (2022)
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi
Authentication Attacks on Projection-based Cancelable Biometric Schemes. SECRYPT (2022)
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. NordSec (2022)
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi
Near-collisions and their Impact on Biometric Security (long). CoRR (2022)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP Protocol for Nurimisaki. SSS (2022)
Florian Fontan, Pascal Lafourcade, Luc Libralesso, Benjamin Momège
Local Search with Weighting Schemes for the CG: SHOP 2022 Competition (CG Challenge). SoCG (2022)
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade
Perpetual Torus Exploration by Myopic Luminous Robots. SSS (2022)
Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner
Generic Plaintext Equality and Inequality Proofs. Financial Cryptography (1) (2021)
Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge). SoCG (2021)
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert
Generic Construction for Identity-Based Proxy Blind Signature. FPS (2021)
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
Mechanised Models and Proofs for Distance-Bounding. CSF (2021)
Luc Libralesso, François Delobel, Pascal Lafourcade, Christine Solnon
Automatic Generation of Declarative Models For Differential Cryptanalysis. CP (2021)
Claudia Negri Ribalta, Marius Lombard-Platet, Camille Salinesi, Pascal Lafourcade
Blockchain Mirage or Silver Bullet? A Requirements-driven Comparative Analysis of Business and Developers' Perceptions in the Accountancy Domain. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 12 (1) (2021)
Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner
Generic Plaintext Equality and Inequality Proofs (Extended Version). IACR Cryptol. ePrint Arch. 2021 (2021)
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone
How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition. Theor. Comput. Sci. 888 (2021)
Axel Durbet, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi, Paul-Marie Grollemund
Authentication Attacks on Projection-based Cancelable Biometric Schemes. CoRR (2021)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. CiE (2021)
Daiki Miyahara, Léo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone
Card-Based ZKP Protocols for Takuzu and Juosan. FUN (2021)
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking. IACR Cryptol. ePrint Arch. 2021 (2021)
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality. ICDCN (2021)
Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
Shadoks Approach to Low-Makespan Coordinated Motion Planning. CoRR (2021)
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
Design and practical implementation of verify-your-vote protocol. Concurr. Comput. Pract. Exp. 33 (1) (2021)
Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner
Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes. IACR Cryptol. ePrint Arch. 2021 (2021)
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality. NETYS (2021)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. IACR Cryptol. ePrint Arch. 2021 (2021)
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots. FUN (2021)
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Cramer-Shoup Cryptosystem. SECRYPT (2021)
V. Bellot, M. Cautrès, J.-M. Favreau, M. Gonzalez-Thauvin, Pascal Lafourcade, Kergann Le Cornec, B. Mosnier, S. Rivière-Wekstein
How to generate perfect mazes? Inf. Sci. 572 (2021)
Pascal Lafourcade, Léo Robert, Demba Sow
Linear Generalized ElGamal Encryption Scheme. ICETE (2) (2020)
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare
Secure Cumulative Reward Maximization in Linear Stochastic Bandits. ProvSec (2020)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A faster cryptographer's Conspiracy Santa. Theor. Comput. Sci. 839 (2020)
Radu Ciucanu, Pascal Lafourcade
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation. DBSec (2020)
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Short and Fast Linear Cramer-Shoup. FPS (2020)
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
Computing AES related-key differential characteristics with constraint programming. Artif. Intell. 278 (2020)
Demba Sow, Léo Robert, Pascal Lafourcade
Linear Generalized ElGamal Encryption Scheme. IACR Cryptol. ePrint Arch. 2020 (2020)
Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi, Ariane Tichit
Proof of Behavior (Short Paper). Tokenomics (2020)
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. IACR Cryptol. ePrint Arch. 2020 (2020)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal Threshold Padlock Systems. CoRR (2020)
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Physical Zero-Knowledge Proof for Suguru Puzzle. SSS (2020)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A Faster Cryptographer's Conspiracy Santa. CoRR (2020)
Pascal Lafourcade, Marius Lombard-Platet
About Blockchain Interoperability. IACR Cryptol. ePrint Arch. 2020 (2020)
Pascal Lafourcade, Marius Lombard-Platet
About blockchain interoperability. Inf. Process. Lett. 161 (2020)
Rose Esmander, Pascal Lafourcade, Marius Lombard-Platet, Claudia Negri Ribalta
A silver bullet?: a comparison of accountants and developers mental models in the raise of blockchain. ARES (2020)
Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert
How to Teach the Undecidability of Malware Detection Problem and Halting Problem. WISE (2020)
Radu Ciucanu, Pascal Lafourcade
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation. ISWC (Demos/Industry) (2020)
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots. NETYS (2020)
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
Secure Outsourcing of Multi-Armed Bandits. TrustCom (2020)
Jean-Guillaume Dumas, Pascal Lafourcade, Julio López Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys
Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. IWSEC (2019)
Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, Kazumasa Shinagawa
Light Cryptography. World Conference on Information Security Education (2019)
Xavier Bultel, Pascal Lafourcade, Russell W. F. Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda Krishnan Thyagarajan
Efficient Invisible and Unlinkable Sanitizable Signatures. IACR Cryptol. ePrint Arch. 2019 (2019)
Pascal Lafourcade, Mike Nopere, Jérémy Picot, Daniela Pizzuti, Etienne Roudeix
Security Analysis of Auctionity: A Blockchain Based E-Auction. FPS (2019)
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally and practically verifying flow properties in industrial systems. Comput. Secur. 86 (2019)
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure Strassen-Winograd Matrix Multiplication with MapReduce. ICETE (2) (2019)
Xavier Bultel, Pascal Lafourcade, Russell W. F. Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda Krishnan Thyagarajan
Efficient Invisible and Unlinkable Sanitizable Signatures. Public Key Cryptography (1) (2019)
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. ICTAC (2019)
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots. SIROCCO (2019)
Xavier Bultel, Pascal Lafourcade
Secure Trick-Taking Game Protocols - How to Play Online Spades with Cheaters. Financial Cryptography (2019)
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots. CoRR (2019)
Xavier Bultel, Pascal Lafourcade
Secure Trick-Taking Game Protocols: How to Play Online Spades with Cheaters. IACR Cryptol. ePrint Arch. 2019 (2019)

Pascal Lafourcade.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pascal Lafourcade