[OBCNCCKL25] Charles Olivier-Anclin, Ioana Boureanu, Liqun Chen, Christopher Newton, Tom Chothia, Anna Clee, Andreas Kokkinis, and Pascal Lafourcade. Who Pays Whom? Anonymous EMV-Compliant Contactless Payments, 34th USENIX Security Symposium 2025, PDF (Core A*)

[BLMP25] Ayoub Ben Hassen, Pascal Lafourcade, Dhekra Mahmoud and Maxime Puys. Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability, the 20th ACM ASIA Conference on Computer and Communications Security, ACM ASIACCS 2025, PDF (Core A)

[DTLG25] Axel Durbet, Kevin Thiry-Atighehchi, Pascal Lafourcade and Paul-Marie Grollemund. Defining Security Limits in Biometrics, in the 15th ACM Conference on Data and Application Security and Privacy, CODASPY 2025 PDF (Core B).

[LMR24] Pascal Lafourcade, Dhekra Mahmoud, and Sylvain Ruhault. A unified symbolic analysis of wireguard. In Network and Distributed System Security Symposium (NDSS) 2024, PDF (Core A*)

[BDDLL24] Quentin Bramas, Stéphane Devismes, Anais Durand, Pascal Lafourcade, and Anissa Lamani. Optimal asynchronous perpetual grid exploration. In 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS’24), Nagoya, Aichi, Japan, October 2024, PDF (Core C)

[KLMMPS24] Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, and Kazuo Sakiyama, Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles, , 27th Information Security Conference (ISC),PDF (Core C)

[BJL24] Xavier Bultel, Charlène Jojon, and Pascal Lafourcade. Cryptographic cryptid protocols: How to play cryptid with cheaters. In 23rd International Conference on Cryptology And Network Security (CANS), Cambridge, UK, 2024, PDF (Core B)

[KLMMPS24] Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama Secure Voting Protocol Using Balance Scale 17th International Symposium on Foundations & Practice of Security (FPS – 2024). - 2024

[DLM24a] Antoine Dailly and Pascal Lafourcade adn Gael Marcadet, How did they design this game? Swish: Complexity and unplayable positions. In Andrei Z. Broder and Tami Tamir, editors, 12th International Conference on Fun with Algorithms, FUN 2024, June 4-8, 2024, Island of La Maddalena, Sardinia, Italy, volume 291 of LIPIcs, pages 10:1–10:19, 2024, PDF

[DLM24b] Jannik Dreier, Pascal Lafourcade, and Dhekra Mahmoud. Shaken, not stirred - automated discovery of subtle attacks on protocols using mix-nets. In The 33rd USENIX Security Symposium (Usenix), 2024, PDF (Core A*)

[LMRb24] Pascal Lafourcade, Gael Marcadet, and Léo Robert. iUC-Secure distributed file transfer from stan- dard attribute-based encryption. In 15th International Conference on Cryptology AFRICACRYPT, Cameroun, 2024, PDF (Core C)

[LOAMM24] Pascal Lafourcade, Charles Olivier-Anclin, Dhekra Mahamoud, and Gael Marcadet. Transferable, auditable and anonymous ticketing protocol. In The 19th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2024), 2024, PDF (Core A)

[MLM24] Mounira Msahli, Pascal Lafourcade, and Dhekra Mahmoud. Formal analysis of c-its pki protocols. In 21st International Conference on Security and Cryptography (SECRYPT’24), Dijon, France, july 2024 PDF (Core C)

[LOAMR24] Pascal Lafourcade, Charles Olivier-Anclin Lola-Baie Mallordy, and Léo Robert. Secure keyless multi- cloud storage scheme. In 29th European Symposium on Research in Computer Security (ESORICS) 2024, Bydgoszcz, Poland, September 2024, PDF (Core A)

[BBLOR23] Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete and Léeo Robert. How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. In Joseph A. Calandrino and Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pages 5917–5934. USENIX Association, 2023. PDF (Core A*)

[BBC+ 23] Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, and Charles Olivier-Anclin. Practical construction for secure trick-taking games even with cards set aside. In Foteini Baldimtsi and Christian Cachin, editors, Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brac, Croatia, May 1-5, 2023, Revised Selected Papers, Part I, volume 13950 of Lecture Notes in Computer Science, pages 166–181. Springer, 2023. PDF (Core A)

[CLMS23] Radu Ciucanu, Pascal Lafourcade, Gael Marcadet, and Marta Soare. SAMBA: A generic framework for secure federated multi-armed bandits (extended abstract). In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pages 6863–6867. ijcai.org, 2023. (Core A*)

[GHL23] Clémentine Gritti, Frédéric A. Hayek, and Pascal Lafourcade. Generic blockchain on generic human behavior. In Sabrina De Capitani di Vimercati and Pierangela Samarati, editors, Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023, pages 206–217. SCITEPRESS, 2023. PDF (Core C)

[HKL+ 23] Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, and Léo Robert. Check alternating patterns: A physical zero-knowledge proof for moon-or-sun. In Junji Shikata and Hiroki Kuzuno, editors, Advances in Information and Computer Security - 18th International Workshop on Security, IWSEC 2023, Yokohama, Japan, August 29-31, 2023, Proceedings, volume 14128 of Lecture Notes in Computer Science, pages 255–272. Springer, 2023. PDF (Core B)

[HKLO23] Frédéric A. Hayek, Mirko Koscina, Pascal Lafourcade, and Charles Olivier-Anclin. Generic privacy preserving private permissioned blockchains. In Jiman Hong, Maart Lanperne, Juw Won Park, Toma ́s Cerny ́, and Hossain Shahriar, editors, Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pages 1585–1592. ACM, 2023. PDF (Core B)

[HLT23] Frédéric A. Hayek, Pascal Lafourcade, and Ariane Tichit. Generic and universal local cryptocurrency: Lcoin. In 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2023, Paris, France, October 11-13, 2023, pages 1–4. IEEE, 2023. PDF

[MLR23] Gael Marcadet, Pascal Lafourcade, and Léo Robert. RMC-PVC: A multi-client reusable verifiable computation protocol. In Jiman Hong, Maart Lanperne, Juw Won Park, Toma ́s Cerny ́, and Hossain Shahriar, editors, Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pages 1558–1565. ACM, 2023. PDF (Core B)

[CLP22b] Aisling Connolly, Pascal Lafourcade, and Octavio Perez Kempner Protego. Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric, INDOCRYPT 2022. PDF (Core B)

[SDPLF22] Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, and Thibault Franco-Rondisson, Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models, NordSec 2022, Iceland, PDF (Core C)

[MCL+22] Gael Marcadet, Radu Ciucanu, Pascal Lafourcade, Marta Soare, and Sihem Amer-Yahia. Samba: A system for secure federated multi-armed bandits. In 38th IEEE International Conference on Data Engineering, ICDE 2022, Kuala Lumpur, Malaysia, May 9-12, 2022, pages 3154–3157. IEEE, 2022. PDF (Core A)

[RMLM22c] Léeo Robert, Daiki Miyahara, Pascal Lafourcade, and Takaaki Mizuki. Hide a liar: Card-based ZKP protocol for usowan. In Ding-Zhu Du, Donglei Du, Chenchen Wu, and Dachuan Xu, editors, Theory and Applications of Models of Computation - 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings, volume 13571 of Lecture Notes in Computer Science, pages 201–217. Springer, 2022.PDF (Core B)

[DUBLDL22] Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade, Perpetual Torus Exploration by Myopic Luminous Robots. 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems Clermont-Ferrand, SSS 2022: 164-177, PDF (Core C)

[RMLM22] Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki, Card-Based ZKP Protocol for Nurimisaki, 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems Clermont-Ferrand, SSS 2022: 285-298 PDF, Slides (Core C)

[KLMOR22] Mirko Koscina, Pascal Lafourcade, Gael Marcadet, Charles Olivier-Anclin and Léo Robert, A Survey on Identity-based Blind Signature, 15th International Symposium on Foundations & Practice of Security, FPS 2022, Canda, PDF

[BFJOLR22] Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Cristina Onete, Pascal Lafourcade, and Leo Robert. MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing. In The 37th ACM/SIGAPP Symposium on Applied Computing (SAC, Security Track), 2022. PDF, Slides (Core B, Qualis A1)

[CLPK22a] Aisling Connolly, Pascal Lafourcade, and Octavio Perez Kempner. Improved constructions of anony- mous credentials from structure-preserving signatures on equivalence classes. In The International Conference on Practice and Theory of Public-Key Cryptography (PKC), 2022. PDF, Slides, Video (Core B, Qualis A2)

[AFJLNOR22] 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. In International Conference on Applied Cryptography and Network Security ACNS, Rome, 2022. PDF (Core B)

[FLLM22] Florian Fontan, Pascal Lafourcade, Luc Libralesso, Benjamin Momège. Local search with weighting schemes for the CG:SHOP 2022 competition. 38th International Computational Geometry Week In the CG:SHOP Challenge 2022, SoCG 2022. 3rd place, PDF (Core A).

[BDDLL22] 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, 7:1-7:21, PDF (Core B)

[DGLT22] Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi, Near-collisions and Their Impact on Biometric Security. SECRYPT 2022: 382-389, PDF (Core B)

[DGLMT22] Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi, Authentication Attacks on Projection-based Cancelable Biometric Schemes. SECRYPT 2022: 568-573, PDF (Core B)

[LDLS21] Luc Libralesso, François Delobel, Pascal Lafourcade, et Christine Solnon, Automatic Generation of Declarative Models for Differential Cryptanalysis The Twenty-Seven Conference on Principles and Practice of Constraint Programming CP 2021, PDF (Core A)

[CFGGLL21] Loic Crombez, Guilherme D. da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge). 37th International Symposium on Computational Geometry, SoCG 2021, June 7-11, 2021, Buffalo, NY, USA (Virtual Conference), Jun 2021, Buffalo, United States, SoCG 2021: 63:1-63:9. 1st place Award (Core A)

[ORBL21] Charles Olivier-Anclin, Leo Robert, Xavier Bultel, and Pascal Lafourcade. Generic construction for identity-based proxy blind signature. In The 14th International Symposium on Foundations & Practice of Security, FPS, Paris, 2021, PDF

[RBDLL21] Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade and Anissa Lamani. Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots without Common Chirality, the 9th International Conference on Networked Systems NETYS 2021. PDF

[BLD21] Quentin Bramas, Pascal Lafourcade, Stéphane Devismes: Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots. FUN 2021: 6:1-6:19, PDF (Core B)

[BDFGL21] Ioana Boureanu, Francois Dupressoir, Constantin Catalin Fragan, David Gerault, and Pascal Lafourcade. Mechanised Models and Proofs for Distance-Bounding. In 34th IEEE Computer Security Foundations Symposium June 21-25, 2021 Virtual Conference, 2021, PDF (Core A).

[MLMR21] Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki, and Leo Robert. Interactive Physical Zero-Knowledge proof for continuity, applications to Nurikabe and Hitori. In Computability in Europe Conference 2021, 5 – 9 July 2021, 2021. PDF (Core B)

[BBLK21] Olivier Blazy, Xavier Bultel, Pascal Lafourcade, and Octavio Perez Kempner. Generic plaintext equality and inequality proofs. In The Twenty-Fifth International Conference, Financial Crypto And Data Security 2021 (FC 2021), 2021. PDF (Core Rank A).

[BDL21] Quentin Bramas, Stéphane Devismes, and Pascal Lafourcade Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality 22nd International Conference on Distributed Computing and Networking Jan 5th-8th, ICDCN 2021 PDF(Core Rank B) VIDEO.

[LRS21] Pascal Lafourcade, Léo Robert and Demba Sow. Fast Cramer-Shoup Cryptosystem.. In the 18th International Conference on Security and Cryptography (SECRYPT 2021), pages 766-771.PDF (Core B)

[CLLS20] Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare, Secure Outsourcing of Multi-Armed Bandits, The 19th IEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020) PDF (Rank Core A).

[LMMR2020] Pascal Lafourcade, Takaaki Mizuki, Daiki Miyahara, Léo Robert, Physical Zero-Knowledge Proof for Suguru Puzzle, 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems Austin, Texas, USA November 18-21, 2020 (SSS'20) PDF (Rank Core C).

[CDLS20] Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, and Marta Soare Secure Cumulative Reward Maximization in Linear Stochastic Bandits. In The 14th International Conference on the theme of Provable and Practical Security, ProvSec, Singapore, 2020. PDF, Video (Rank Core B)

[ELLN20] Rose Esmander, Pascal Lafourcade, Marius Lombard-Platet and Claudia Negri Ribalta, A silver bullet?: a comparison of accountants and developers mental models in the raise of blockchain In proceedings of the 15th International Conference on Availability, Reliability and Security, Virtual Event, Ireland, August 25-28, 2020, pages: 83:1--83:10, ARES 2020, PDF (Core Rank B)

[BDL20b] Quentin Bramas, Stéphane Devismes, and Pascal Lafourcade. Infinite grid exploration by disoriented robots. In The 8th Edition of the International Conference on NETworked and sYStems, NETYS 2020. LNCS, June 2020. PDF

[CL20] Radu Ciucanu and Pascal Lafourcade. Goose a secure framework for graph outsourcing and sparql evaluation. In 34th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec’20), Regensburg, Germany, June 2020. PDF (Rank Core B)

[GLTT20] Paul-Marie Grollemund, Pascal Lafourcade, Kévin Thiry-Atighehchi, and Ariane Tichit. Proof of behaviours. In The 2nd Tokenomics Conference on Blockchain Economics, Security and Protocols, Toulouse, 2020. PDF

[JLMPR20] Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain and Léo Robert. How to teach the undecidability of malware detection problem and halting problem. In WG 11.8 - 13th World Conference on Information Security Education, WISE, Maribor, Slovenia, september 2020. PDF

[MTSNLMRS20] Daiki Miyahara, So Takeshige, Kazumasa Shinagawa, Atsuki Nagao, Pascal Lafourcade, Takaaki Mizuki, Léo Robert, and Hideaki Sone. Card-based ZKP protocols for Takuzu and Juosan. In 10th International Conference on Fun with Algorithms (FUN 2020), volume 157. LIPIcs, 2020. PDF (Rank Core B)

[LRS20b] Pascal Lafourcade, Léo Robert and Demba Sow. Linear Generalized ElGamal Encryption Scheme. In the 17th International Conference on Security and Cryptography (SECRYPT 2020), Lieusant, Paris, July 2020. PDF (Rank Core B)

[LRS20a] Pascal Lafourcade, Léo Robert, Demba Sow. Fast Short and Fast Linear Cramer-Shoup. The 13th International Symposium on Foundations and Practice of Security, FPS 2020, pages 121-136. PDF

[GGGLL19] Hardik Gajera, Matthieu Giraud, David Gérault, Manik Lal Das, Pascal Lafourcade, Verifiable and Private Oblivious Polynomial Evaluation, 13th WISTP International Conference on Information Security Theory and Practice (WISTP'2019). Slides (Rank Core C)

[GL19] David Gérault, Pascal Lafourcade, Towards Secure TMIS Protocols, the 12th International Symposium on Foundations & Practice of Security, Toulouse, France,5-6-7 November 2019.

[LL19] Pascal Lafourcade, Marius Lombard-Platet, Get-your-ID: Decentralized Proof of Identity, the 12th International Symposium on Foundations & Practice of Security, Toulouse, France,5-6-7 November 2019.

[LNPPR19] Pascal Lafourcade, Mike Nopere, Jeremy Picot, Daniela Pizzuti, and Etienne Roudeix, Security Analysis of Auctionity: a blockchain based e-auction, the 12th International Symposium on Foundations & Practice of Security, Toulouse, France,5-6-7 November 2019.

[DLLLPPP19] Jean-Guillaume Dumas, Pascal Lafourcade, Julio Lopez Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, and Maxime Puys, , Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. The 14th International Workshop on Security, August 28 (Wed) - 30 (Fri), 2019 Multi-Purpose Digital Hall, Ookayama Campus, Tokyo Institute of Technology, Tokyo, Japan. (Rank Core B)

[CLLS19] Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet and Marta Soare, Secure Best Arm Identification in Multi-Armed Bandits, in the 15th International Conference on Information Secu- rity Practice and Experience, ISPEC 2019. (Rank Core B)

[LMMSS19] Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki,Tatsuya Sasakiand, Hideaki Sone, A Physical ZKP for Slitherlink : How to Perform Physical Topology-Preserving Computation, in the 15th International Conference on Information Security Practice and Experience, ISPEC 2019. (Rank Core B)

[LMNS19] Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, and Kazumasa Shinagawa, Light Cryptography, 12th World Conference on Information Security Education 2019, IFIP Working Group 11.8, Lisbon, Portugal 2019.

[CKYLRL19] Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade and Riadh Robbana, DABSTERS: a Privacy Preserving e-Voting Protocol for Permissioned Blockchain, 16th International Colloquium on Theoretical Aspects of Computing, ICTAC'19. Hammamet, Tunisia, 2019 (Rank Core B)

[BDL19] Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Brief: Infinite Grid Exploration by Disoriented Robots, SIROCCO 2019 26th International Colloquium on Structural Information and Communication Complexity L'Aquila, Italy during July 1-4, 2019. (Rank Core B)

[CGLY19a] Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye, Secure Strassen-Winograd Matrix Multiplication with MapReduce, International Conference on Security and Cryptography (SECRYPT) - 2019. (Rank Core B) Slides

[CGLY19b] Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye, Secure Secure Intersection with MapReduce International Conference on Security and Cryptography (SECRYPT) - 2019. (Rank Core B) Slides

[CKYLR19] Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade and Riadh Robbana, DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-voting, International Conference on Security and Cryptography (SECRYPT) - 2019. (Rank Core B)

[DLMSS19] Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, and Hideaki Sone, Interactive Physical Zero-Knowledge Proof for Norinori. The 25th International Computing and Combinatorics Conference COCOON 19, Xian, China, 29-31th July 2019. (Rank Core A)

[BL19] Xavier Bultel, Pascal Lafourcade, Secure Trick-Taking Game Protocols How to Play Online Spades with Cheaters, Twenty-Third International Conference Financial Crypptography and Data Security 2019, February 18 - 22, 2019 St. Kitts (Rank Core B)

[BLLMSK19] Xavier Bultel, Pascal Lafourcade, Russell W. F. Lai, Giulio Malavolta, Dominique Schroeder, and Sri Aravinda Krishnan Thyagarajan, Efficient Invisible and Unlinkable Sanitizable Signatures, International Conference on Practice and Theory of Public Key Cryptography, PKC'19, Beijing China. (Rank Core B)

[BCGLY18] Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye, Secure Joins with MapReduce, FPS 2018 : The 11th International Symposium on Foundations and Practice of Security, Montreal, Canada, 2018 Best Paper Award Slides.

[BDDLMMNSSS18] Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone, Physical Zero-Knowledge Proof for Makaro. SSS 2018: 111-125, Tokyo Japan. (Rank Core C)

[BDDL18] Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade: A Cryptographer's Conspiracy Santa. FUN 2018: 13:1-13:13. (Rank Core B)

[BDG+18] Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothee Kheyrkhah, et al. Security Analysis and Psychological Study of Authentication Methods with PIN Codes. RCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France, pages 1--11. (Rank Core B)

[CGLY18] Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye: Secure Grouping and Aggregation with MapReduce. 15th International Conference on Information Security and Cryptography SECRYPT'18, pages 514--521 Porto. Slides (Rank Core B)

[CYLR18] Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, and Riadh Robbana, Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol. 15th European Mediterranean and Middle Eastern Conference on Information Systems 2018, Cyprus. (Rank Core B)

[ABGGLOR17] Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert: A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. AsiaCCS 2017: 800-814. (Rank Core B)

[BCGL17] Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade: Secure Matrix Multiplication with MapReduce. ARES 2017: 11:1-11:10. (Rank Core B)

[BDGGGL17] Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade: Verifiable Private Polynomial Evaluation. ProvSec 2017: 487-506. (Rank Core B)

[BDL17] Elliott Blot, Jannik Dreier, Pascal Lafourcade: Formal Analysis of Combinations of Secure Protocols. FPS 2017: 53-67

[BGLO17] Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete: Breaking and fixing the HB+DB protocol. WISEC 2017: 241-246. (Rank Core B) Slides

[BL17] Xavier Bultel, Pascal Lafourcade, Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures Editor Srdjan Capkun and Sherman S. M. Chow, in Cryptology and Network Security - 16th International Conference, CANS 2017, Hong Kong, China, November 30 - December 2, 2017, Revised Selected Papers, Springer, Lecture Notes in Computer Science, volume 11261, pages 203--226, 2017. (Rank Core B) PDF Slides

[BLGR17] Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb: Formal Analyze of a Private Access Control Protocol to a Cloud Storage. International Conference on Security and Cryptography SECRYPT 2017: 495-500. (Rank Core B)

[DLMOT17] Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel: LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. International Conference on Security and Cryptography SECRYPT 2017: 187-199. (Rank Core B)

[DPPLR17] Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally Verifying Flow Properties in Industrial Systems. International Conference on Security and Cryptography SECRYPT 2017: 55-66. Best Paper Award. (Rank Core B)

[GABL17] Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade: Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption. International Conference on Security and Cryptography SECRYPT 2017: 200-211. (Rank Core B)

[KLL17] Amrit Kumar, Cédric Lauradoux, Pascal Lafourcade: Duck Attack on Accountable Distributed Systems. MobiQuitous 2017: 303-312. (Rank Core A)

[BBL16a] Olivier Blazy, Xavier Bultel, and Pascal Lafourcade. Anonymizable ring signature without pairing. In 9th International Symposium on Foundations & Practice of Security (FPS 2016), Qubec city, QC, Canada, 24-25-26 October, 2016. PDF

[BBL16] Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Two Secure Anonymous Proxy-based Data Storages, International Conference on Security and Cryptography SECRYPT'16, Lisbon Portugal, PDF, Slides. (Rank Core B)

[BDDL16] Xavier Bultel, Jannik Dreir, Jean-Guillaume Dumas, and Pascal Lafourcade. Physical zeroknowledge proofs for Akari, Kakuro, Kenken and Takuzu. In FUN 2016: 8:1-8:20. PDF Slides (Rank Core B)

[BGG+16] Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, and Jean-Marc Robert. Spade: A prover-anonymous and terrorist-fraud resistant distance bounding protocol. In Matthias Hollick, Panos Papadimitratos, William Enck, editors, Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks, WISEC 2016, Darmstadt, Germany, July 18-22, 2016, pages 121-133. PDF. (Rank Core B)

[BL16a] Xavier Bultel, Pascal Lafourcade, K-time Full Traceable Ring Signature. 11th International Conference on Availability, Reliability and Security, ARES 2016, Salzburg, Austria, August 31 - September 2, 2016, pages 39--48, PDF Slides. (Rank Core B)

[BL16b] Xavier Bultel and Pascal Lafourcade. A posteriori openable public key encryption. In IFIP Sec 2016, 2016. PDF Slides (Rank Core B)

[DLOP16] Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys, Private Multi-party Matrix Multiplication and Trust Computations, International Conference on Security and Cryptography SECRYPT'16, Lisbon Portugal, Best Paper Award, PDF. (Rank Core B)

[GL16] David Gérault and Pascal Lafourcade. Related-key cryptanalysis of midori. In 17th International Conference on Cryptology in India, Indocrypt'16, December 11-14, Kolkata, 2016.PDF. (Rank Core B)

[KGLR'16] Noudjoud Kahya, Nacira Ghoualmi, Pascal Lafourcade, Khelf Roumaissa, Formal Analysis of Key Management in mobile Wimax. The 2nd International Conference on Pattern Analysis and Intelligent Systems (IEEE) PAIS'16, November 16-17, 2016 Khenchela, Algeria. PDF.

[PLL16] Maxime Puys, Marie-Laure Potet, and Pascal Lafourcade. Formal analysis of security properties on the opcua scada protocol. In SafeComp'16, 2016. PDF (Rank Core B)

[AGLM'15] Affoua Théràse Aby, Alexandre Guitton, Pascal Lafourcade, and Michel Misson. SLACK_MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor Networks. ADHOCNETS 2015. PDF. (Rank Core B)

[BGP15] Agnes Brelurut, David Géarault and Pascal Lafourcade. Survey of Distance Bounding Protocols and threats. 8th International Symposium on Foundations & Practice of Security 26-28 October 2015 Clermont-Ferrand, France. PDF Slides

[DGKLL15] Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, and Gabriele Lenzini: A Framework for Analyzing Verifiability in Traditional and Electronic Exams. ISPEC 2015, pages 514-529. PDF Slides (Rank Core B)

[DKL'15] Jannik Dreier, Ali Kassem, and Pascal Lafourcade: Formal Analysis of E-Cash Protocols. In 11th International Conference on Security and Cryptography (SECRYPT 2015). PDF Slides. (Rank Core B)

[KFL15] Ali Kassem, Yliès Falcone, and Pascal Lafourcade: Monitoring Electronic Exams. The 15th International Conference on Runtime Verification, September, 2015 Vienna, Austria. PDF Slides (Rank Core C)

[PL15] Maxime Puys and Pascal Lafourcade. Performance Evaluations of Cryptographic Protocols. Verification Tools Dealing with Algebraic Properties. 8th International Symposium on Foundations & Practice of Security 26-28 October 2015 Clermont-Ferrand, France. PDF

[DGK+14] Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzin,and Peter Y.A. Ryan. Formal analysis of electronic exams. In 11th International Conference on Information Security and Cryptography (SECRYPT 2014), 2014. Best Paper Award. PDF Slides. (Rank Core B)

[DJL14] Jannik Dreier, Hugo Jonker, and Pascal Lafourcade. Secure auctions without cryptography. In Alfredo Ferro, Fabrizio Luccio, and Peter Widmayer, editors, Fun with Algorithms - 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings, volume 8496 of Lecture Notes in Computer Science, pages 158-170. Springer, 2014. PDF (Rank Core B)

[JL14b] Raphël Jamet and Pascal Lafourcade. (In)corruptibility of routing protocols. In Foundations and Practice of Security - 7th International Symposium, FPS 2014, Montréal, Canada, 2014, Lecture Notes in Computer Science. Springer, 2014. Best Paper Award. PDF

[KLL14b] Ali Kassem, Pascal Lafourcade, and Yassine Lakhnech. Formal verification of e-reputation protocols. In Foundations and Practice of Security - 7th International Symposium, FPS 2014, Montréal, Canada, Lecture Notes in Computer Science. Springer, 2014. PDF

[KLL14c] Amrit Kumar, Pascal Lafourcade, and Cédric Lauradoux. Performances of cryptographic accumulators. In The 39th IEEE Conference on Local Computer Networks (LCN), 2014. PDF (Rank Core A)

[MCL+14a] Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade, and Francois Delobel. Secure key renewal and revocation for wireless sensor networks. In The 39th IEEE Conference on Local Computer Networks (LCN), Edmonton, Canada, 2014. PDF (Rank Core A)

[MCL14] Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade: Secure Multihop Key Establishment Protocols for Wireless Sensor Networks. CSS 2014: 166-177.

[MRC+14] Ismail Mansour, Damian Rusinek, Gérard Chalhoub, Pascal Lafourcade, and Bogdan Ksiezopolski. Multihop node authentication mechanisms for wireless sensor networks. In Song Guo, Jaime Lloret, Pietro Manzoni, and Stefan Ruehrup, editors, Ad-hoc, Mo- bile, and Wireless Networks - 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings, volume 8487 of Lecture Notes in Computer Science, pages 402 - 418. Springer, 2014. PDF (Rank Core B)

[ADJL13] Karine Altisen, Stéphane Devismes, Raphël Jamet, and Pascal Lafourcade. SR3: Secure resilient reputation-based routing. In The annual IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2013), Cambridge, Massachusetts, USA, may 2013. to appear. PDF (Rank Core B)

[DDL13] Jannik Dreier, Jean-Guillaume Dumas, and Pascal Lafourcade. Brandt's fully private auction protocol revisited. In 6th International Conference on Cryptology in Africa Africacrypt 2013, Egypt, june 2013. to appear. PDF Slides

[DELL13] Jannik Dreier, Cristian Ene, Pascal Lafourcade, and Yassine Lakhnech. On unique decomposition of processes in the applied-calculus. In Frank Pfenning, editor, FoSSaCS, volume 7794 of Lecture Notes in Computer Science, pages 50-64. Springer, 2013. PDF Slides

[DJL13] Jannik Dreier, Hugo Jonker, and Pascal Lafourcade. Verifiability in e-auction protocols. In 8th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2013, Hangzhou, China, 2013. PDF (Rank Core B)

[DLL13] Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech: Formal verification of e-auction protocols. In David A. Basin and John C. Mitchell, editors, POST, volume 7796 of Lecture Notes in Computer Science, pages 247 266. Springer, 2013. PDF Slides

[GLL13] Martin Gagné, Pascal Lafourcade and Yassine Lakhnech. Automated security proofs for almost-universal hash for mac verification. In Jason Crampton, Sushil Jajodia, and Keith Mayes, editors, Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings, volume 8134 of Lecture Notes in Computer Science, pages 291- 308. Springer, 2013. PDF Slides

[JL13] Raphël Jamet and Pascal Lafourcade. Discovering flaws in IDS through analysis of their inputs. In Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, and A. Nur Zincir-Heywood, editors, Foundations and Practice of Security - 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers, volume 8352 of Lecture Notes in Computer Science. Springer, 2014. PDF

[KLL13] Ali Kassem, Pascal Lafourcade, and Yassine Lakhnech. A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks. In Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, and A. Nur Zincir-Heywood, editors, Foun- dations and Practice of Security - 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers, volume 8352 of Lecture Notes in Computer Science. Springer, 2014. PDF

[AGDL12] Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade: Analysis of Random Walks Using Tabu Lists.. In Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2,2012.PDF

[DLL12a] Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech: Defining Privacy for Weighted Votes, Single and Multi-Voter Coercion. European Symposium on Research in Computer Security (ESORICS), 2012. PDF Slides

[DLL12b] Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A Formal Taxonomy of Privacy in Voting Protocols. First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), 2012. Technical Report Slides

[GKL12] Ghoualmi, Nacira and Kahya, Noudjoud and Lafourcade, Pascal Key Management Protocol in WIMAX revisited. In The Third International Conference on Communications Security and Information Assurance (CSIA 2012), 2012. PDF

[CDE+11]Judicael Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, and Yassine Lakhnech. Automated proofs for asymmetric encryption. In Dennis Dams, Ulrich Han- nemann, and Martin Steffen, editors, Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, volume 5930 of Lecture Notes in Computer Science, pages 300 - 321. Springer, 2011.PDF

[DLL11] Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols. 4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), 2011. PDF | Technical Report Slides

[FLA11] Fousse, Laurent and Lafourcade, Pascal and Alnuaimi, Mohamed: Benaloh's Dense Probabilistic Encryption Revisited. In Progress in Cryptology - AFRICACRYPT 2011 - 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings, 2011. PDF Slides

[GLLSN11] Martin Gagné,Pascal Lafourcade,Yassine Lakhnech,and Reihaneh Safavi-Naini. Automated verification of block cipher modes of operation, an improved method. In Joaquin Garcia-Alfaro and Pascal Lafourcade, editors, Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, volume 6888 of Lecture Notes in Computer Science, pages 23 - 31. Springer, 2012. PDF Slides

[JWESML10] Jérémie Tharaud, Sven Wohlgemuth, Isao Echizen, Noboru Sonehara, Gunter Muller, Pascal Lafourcade: Privacy by Data Provenance with Digital Watermarking - A Proof-of-Concept Implementation for Medical Services with Electronic Health Records. IIH-MSP 2010: 510-513 PDF

[CLN09] Cas J.F. Cremers, Pascal Lafourcade, and Philippe Nadeau. Comparing state spaces in automatic protocol analysis. Formal to Practical Security, 5458/2009: 70 - 94, 2009. PDF

[GLLS09] Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, and Reihaneh Safavi-Naini Automated Proofs for Encryption Modes. In Proceedings of the 13th Annual Asian Computing Science Conference Focusing on Information Security and Privacy: Theory and Practice (ASIAN'09), October 2009. PDF | PS Slides

[LTV09] Pascal Lafourcade, Vanessa Terrade and Sylvain Vigier Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties . In Proceedings of the sixth International Workshop on Formal Aspects in Security and Trust (FAST2009), November 2009, Eindhoven, the Netherlands. PDF | PS| Slides

[CDELL08a] Judicael Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade. and Yassine Lakhnech Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Model. In Proceedings of the 15th ACM Conference on Computer and Communications Security, (CCS'08), October 2008, Alexandria USA. PDF | PS

[Laf07] Pascal Lafourcade. Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption. In Maribel Fernández and Claude Kirchner (eds.), Proceedings of the 1st International Workshop on Security and Rewriting Techniques (SecReT'06), Venice, Italy, July 2006, Electronic Notes in Theoretical Computer Science 171(4), pages 37-57. Elsevier Science Publishers, 2007. PDF | PS| PS.GZ | Slides

[DLLT06] Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez and Ralf Treinen. Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. In Michele Buglesi, Bart Preneel, Vladimiro Sassone and Ingo Wegener (eds.), Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP'06) - Part II, Venice, Italy, July 2006, Lecture Notes in Computer Science 4052, pages 132-143. Springer. PDF | PS| PS.GZ | PDF (long version) | PS(long version) | PS.GZ (long version) | Slides

[LLT05a] Pascal Lafourcade, Denis Lugiez and Ralf Treinen. Intruder Deduction for AC-like Equational Theories with Homomorphisms. In Juergen Giesl (ed.), Proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA'05), Nara, Japan, April 2005, Lecture Notes in Computer Science 3467, pages 308-322. Springer. PDF | PS| PS.GZ | PS(long version) | PS.GZ (long version) | Slides