Pascal Lafourcade
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
89
Venues
40
Active years
2006–2026
Best venue rank
A*
Where they publish
- CSECRYPT13 papers
- NationalFUN12 papers
- AAsiaCCS5 papers
- CSSS5 papers
- AESORICS4 papers
- AFC3 papers
- MulticonferenceSAC3 papers
- CISPEC3 papers
- A*CCS3 papers
- BCANS2 papers
- NationalIWSEC2 papers
- NationalINDOCRYPT2 papers
- BPKC2 papers
- CProvSec2 papers
- BSIROCCO2 papers
- BLCN2 papers
- AICDCS1 paper
- A*NDSS1 paper
- A*IJCAI1 paper
- BACNS1 paper
- A*ICDE1 paper
- CTAMC1 paper
- CCiE1 paper
- ACP1 paper
- NationalICDCN1 paper
- BDBSEC1 paper
- BTrustCom1 paper
- BWISE1 paper
- NationalCOCOON1 paper
- CICTAC1 paper
- CWISTP1 paper
- BRCIS1 paper
- CMobiquitous1 paper
- BSAFECOMP1 paper
- UnrankedSEC1 paper
- BRV1 paper
- BDCOSS1 paper
- BFOSSACS1 paper
- A*ICRA1 paper
- A*ICALP1 paper
Papers
89 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AsiaCCS | Sanitizable Signatures with Different Admissibility Policies for Multiple Sanitizers. | Osama Allabwani, Olivier Blazy, Pascal Lafourcade, Charles Olivier-Anclin, Olivier Raynaud |
| 2026 | AsiaCCS | Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+. | Elsa Lpez Prez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade, Vaishnavi Sundararajan, Malisa Vucinic |
| 2026 | FUN | 77 Shades of Grey. | Quentin Bramas, Stphane Devismes, Anas Durand, Pascal Lafourcade, Anissa Lamani |
| 2026 | FUN | Lozenge Tiling by Computing Distances. | Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Lo Robert |
| 2026 | FUN | Playing President with Virtual Players: How to Play Multiple Cards of a Kind. | Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki, Kazumasa Shinagawa |
| 2026 | FUN | Card-Based ZKP Protocols for Connectivity-Based Puzzles: Extending to Tree Structures with Application to Nurimeizu. | Daiki Miyahara, Pascal Lafourcade, Maxime Puys |
| 2026 | FUN | When Locality Implies Globality: Card-Based ZKP Protocol for Shakashaka Puzzle. | Daiki Miyahara, Lo Robert, Pascal Lafourcade, Shohei Kaneko |
| 2026 | ICDCS | Synthesizing Algorithms to Avoid an Obstacle with a Swarm of Robots. | Karine Altisen, Anas Durand, Pascal Lafourcade, Oussama Nahnah |
| 2025 | AsiaCCS | Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol. | Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Lo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona |
| 2025 | AsiaCCS | Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability. | Ayoub Ben Hassen, Pascal Lafourcade, Dhekra Mahmoud, Maxime Puys |
| 2025 | ESORICS | Fine-Grained, Privacy-Augmenting LI-Compliance in the LAKE Standard. | Pascal Lafourcade, Elsa Lpez Prez, Charles Olivier-Anclin, Cristina Onete, Clment Papon, Malisa Vucinic |
| 2024 | AsiaCCS | Transferable, Auditable and Anonymous Ticketing Protocol. | Pascal Lafourcade, Dhekra Mahmoud, Gal Marcadet, Charles Olivier-Anclin |
| 2024 | CANS | Cryptographic Cryptid Protocols - How to Play Cryptid with Cheaters. | Xavier Bultel, Charlne Jojon, Pascal Lafourcade |
| 2024 | ESORICS | Secure Keyless Multi-party Storage Scheme. | Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Lo Robert |
| 2024 | FUN | How Did They Design This Game? Swish: Complexity and Unplayable Positions. | Antoine Dailly, Pascal Lafourcade, Gal Marcadet |
| 2024 | NDSS | A Unified Symbolic Analysis of WireGuard. | Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault |
| 2024 | SECRYPT | Formal Analysis of C-ITS PKI Protocols. | Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud |
| 2024 | SSS | Optimal Asynchronous Perpetual Grid Exploration. | Quentin Bramas, Stphane Devismes, Anas Durand, Pascal Lafourcade, Anissa Lamani |
| 2023 | FC | Practical Construction for Secure Trick-Taking Games Even with Cards Set Aside. | Rohann Bella, Xavier Bultel, Cline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin |
| 2023 | IJCAI | SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract). | Radu Ciucanu, Pascal Lafourcade, Gal Marcadet, Marta Soare |
| 2023 | IWSEC | Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. | Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Lo Robert |
| 2023 | SAC | Generic Privacy Preserving Private Permissioned Blockchains. | Frdric A. Hayek, Mirko Koscina, Pascal Lafourcade, Charles Olivier-Anclin |
| 2023 | SAC | RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol. | Gal Marcadet, Pascal Lafourcade, Lo Robert |
| 2023 | SECRYPT | Generic Blockchain on Generic Human Behavior. | Clmentine Gritti, Frdric A. Hayek, Pascal Lafourcade |
| 2022 | ACNS | A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking. | Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Lo Robert |
| 2022 | FUN | Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? | Quentin Bramas, Stphane Devismes, Anas Durand, Pascal Lafourcade, Anissa Lamani |
| 2022 | ICDE | Samba: A System for Secure Federated Multi-Armed Bandits. | Gal Marcadet, Radu Ciucanu, Pascal Lafourcade, Marta Soare, Sihem Amer-Yahia |
| 2022 | INDOCRYPT | Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric. | Aisling Connolly, Jrme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner |
| 2022 | PKC | Improved Constructions of Anonymous Credentials from Structure-Preserving Signatures on Equivalence Classes. | Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner |
| 2022 | SAC | MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing. | Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Lo Robert |
| 2022 | SECRYPT | Authentication Attacks on Projection-based Cancelable Biometric Schemes. | Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi |
| 2022 | SECRYPT | Near-collisions and Their Impact on Biometric Security. | Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi |
| 2022 | SSS | Perpetual Torus Exploration by Myopic Luminous Robots. | Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anas Durand, Pascal Lafourcade |
| 2022 | SSS | Card-Based ZKP Protocol for Nurimisaki. | Lo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki |
| 2022 | TAMC | Hide a Liar: Card-Based ZKP Protocol for Usowan. | Lo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki |
| 2021 | CiE | Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. | Lo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki |
| 2021 | CP | Automatic Generation of Declarative Models For Differential Cryptanalysis. | Luc Libralesso, Franois Delobel, Pascal Lafourcade, Christine Solnon |
| 2021 | FC | Generic Plaintext Equality and Inequality Proofs. | Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner |
| 2021 | FUN | Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots. | Quentin Bramas, Pascal Lafourcade, Stphane Devismes |
| 2021 | FUN | Card-Based ZKP Protocols for Takuzu and Juosan. | Daiki Miyahara, Lo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone |
| 2021 | ICDCN | Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality. | Quentin Bramas, Pascal Lafourcade, Stphane Devismes |
| 2021 | SECRYPT | Fast Cramer-Shoup Cryptosystem. | Pascal Lafourcade, Lo Robert, Demba Sow |
| 2020 | DBSEC | GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation. | Radu Ciucanu, Pascal Lafourcade |
| 2020 | ProvSec | Secure Cumulative Reward Maximization in Linear Stochastic Bandits. | Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare |
| 2020 | TrustCom | Secure Outsourcing of Multi-Armed Bandits. | Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare |
| 2020 | WISE | How to Teach the Undecidability of Malware Detection Problem and Halting Problem. | Matthieu Journault, Pascal Lafourcade, Malika More, Rmy Poulain, Lo Robert |
| 2020 | SSS | Physical Zero-Knowledge Proof for Suguru Puzzle. | Lo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki |
| 2019 | COCOON | Interactive Physical Zero-Knowledge Proof for Norinori. | Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone |
| 2019 | FC | Secure Trick-Taking Game Protocols - How to Play Online Spades with Cheaters. | Xavier Bultel, Pascal Lafourcade |
| 2019 | ICTAC | DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. | Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana |
| 2019 | ISPEC | A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation. | Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone |
| 2019 | ISPEC | Secure Best Arm Identification in Multi-armed Bandits. | Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare |
| 2019 | IWSEC | Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. | Jean-Guillaume Dumas, Pascal Lafourcade, Julio Lpez Fenner, David Lucas, Jean-Baptiste Orfila, Clment Pernet, Maxime Puys |
| 2019 | PKC | Efficient Invisible and Unlinkable Sanitizable Signatures. | Xavier Bultel, Pascal Lafourcade, Russell W. F. Lai, Giulio Malavolta, Dominique Schrder, Sri Aravinda Krishnan Thyagarajan |
| 2019 | SIROCCO | Infinite Grid Exploration by Disoriented Robots. | Quentin Bramas, Stphane Devismes, Pascal Lafourcade |
| 2019 | WISTP | Verifiable and Private Oblivious Polynomial Evaluation. | Hardik Gajera, Matthieu Giraud, David Grault, Manik Lal Das, Pascal Lafourcade |
| 2018 | FUN | A Cryptographer's Conspiracy Santa. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade |
| 2018 | RCIS | Security analysis and psychological study of authentication methods with PIN codes. | Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothe Kheyrkhah, Pascal Lafourcade, Dounia Lakhzoum, Vincent Marlin, Ladislav Motk |
| 2018 | SSS | Physical Zero-Knowledge Proof for Makaro. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone |
| 2017 | CANS | Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures. | Xavier Bultel, Pascal Lafourcade |
| 2017 | CCS | A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. | Gildas Avoine, Xavier Bultel, Sbastien Gambs, David Grault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert |
| 2017 | Mobiquitous | Duck Attack on Accountable Distributed Systems. | Amrit Kumar, Cdric Lauradoux, Pascal Lafourcade |
| 2017 | ProvSec | Verifiable Private Polynomial Evaluation. | Xavier Bultel, Manik Lal Das, Hardik Gajera, David Grault, Matthieu Giraud, Pascal Lafourcade |
| 2017 | SECRYPT | Formal Analyze of a Private Access Control Protocol to a Cloud Storage. | Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb |
| 2017 | SECRYPT | Formally Verifying Flow Properties in Industrial Systems. | Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch |
| 2017 | SECRYPT | LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. | Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel |
| 2017 | SECRYPT | Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption. | Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade |
| 2016 | FUN | Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade |
| 2016 | INDOCRYPT | Related-Key Cryptanalysis of Midori. | David Grault, Pascal Lafourcade |
| 2016 | SAFECOMP | Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. | Maxime Puys, Marie-Laure Potet, Pascal Lafourcade |
| 2016 | SEC | A Posteriori Openable Public Key Encryption. | Xavier Bultel, Pascal Lafourcade |
| 2016 | SECRYPT | Two Secure Anonymous Proxy-based Data Storages. | Olivier Blazy, Xavier Bultel, Pascal Lafourcade |
| 2016 | SECRYPT | Private Multi-party Matrix Multiplication and Trust Computations. | Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys |
| 2015 | ISPEC | A Framework for Analyzing Verifiability in Traditional and Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini |
| 2015 | RV | Monitoring Electronic Exams. | Ali Kassem, Ylis Falcone, Pascal Lafourcade |
| 2015 | SECRYPT | Formal Analysis of E-Cash Protocols. | Jannik Dreier, Ali Kassem, Pascal Lafourcade |
| 2014 | FUN | Secure Auctions without Cryptography. | Jannik Dreier, Hugo Jonker, Pascal Lafourcade |
| 2014 | LCN | Performances of cryptographic accumulators. | Amrit Kumar, Pascal Lafourcade, Cdric Lauradoux |
| 2014 | LCN | Secure key renewal and revocation for Wireless Sensor Networks. | Ismail Mansour, Grard Chalhoub, Pascal Lafourcade, Franois Delobel |
| 2014 | SECRYPT | Formal Analysis of Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan |
| 2013 | CCS | Defining verifiability in e-auction protocols. | Jannik Dreier, Hugo Jonker, Pascal Lafourcade |
| 2013 | DCOSS | SR3: Secure Resilient Reputation-based Routing. | Karine Altisen, Stphane Devismes, Raphal Jamet, Pascal Lafourcade |
| 2013 | ESORICS | Automated Security Proofs for Almost-Universal Hash for MAC Verification. | Martin Gagn, Pascal Lafourcade, Yassine Lakhnech |
| 2013 | FOSSACS | On Unique Decomposition of Processes in the Applied π-Calculus. | Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
| 2012 | ESORICS | Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. | Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech |
| 2012 | SIROCCO | Analysis of Random Walks Using Tabu Lists. | Karine Altisen, Stphane Devismes, Antoine Gerbaud, Pascal Lafourcade |
| 2009 | ICRA | Mechatronic design of NAO humanoid. | David Gouaillier, Vincent Hugel, Pierre Blazevic, Chris Kilner, Jrme Monceaux, Pascal Lafourcade, Brice Marnier, Julien Serre, Bruno Maisonnier |
| 2008 | CCS | Towards automated proofs for asymmetric encryption schemes in the random oracle model. | Judical Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
| 2006 | ICALP | Symbolic Protocol Analysis in Presence of a Homomorphism Operator and | Stphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen |