Pascal Lafourcade

235 papers A* 10A 9B 17C 28Misc 17Journal 84Unranked 65
YearRankTypeTitle / Venue / Authors
2026 J jnl
Lozenge Tiling by Computing Distances.
CoRR
Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Léo Robert
2025 A* conf
A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.
USENIX Security Symposium
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb
2025 J jnl
A Tale of Two Worlds, a Formal Story of WireGuard Hybridization.
IACR Cryptol. ePrint Arch.
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault, Abdul Rahman Taleb
2025 — conf
Defining Security Limits in Biometrics.
CODASPY
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi
2025 — conf
Fine-Grained, Privacy-Augmenting LI-Compliance in the LAKE Standard.
ESORICS (4)
Pascal Lafourcade, Elsa López Pérez, Charles Olivier-Anclin, Cristina Onete, Clément Papon, Malisa Vucinic
2025 A conf
Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability.
AsiaCCS
Ayoub Ben Hassen, Pascal Lafourcade, Dhekra Mahmoud, Maxime Puys
2025 J jnl
Infinite grid exploration with synchronous myopic robots without chirality.
Discret. Appl. Math.
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
2025 A conf
Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol.
AsiaCCS
Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona
2025 J jnl
Sanitizable Signatures with Different Admissibility Policies for Multiple Sanitizers.
IACR Cryptol. ePrint Arch.
Osama Allabwani, Olivier Blazy, Pascal Lafourcade, Charles Olivier-Anclin, Olivier Raynaud
2025 — conf
Tilepaint and Aquarium Puzzles in Periodic Grids.
DGMM
Yan Gerard, Pascal Lafourcade, Lola-Baie Mallordy, Léo Robert
2025 A* conf
Who Pays Whom? Anonymous EMV-Compliant Contactless Payments.
USENIX Security Symposium
Charles Olivier-Anclin, Ioana Boureanu, Liqun Chen, Christopher J. P. Newton, Tom Chothia, Anna Clee, Andreas Kokkinis, Pascal Lafourcade
2024 A* conf
A Unified Symbolic Analysis of WireGuard.
NDSS
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault
2024 J jnl
Accuracy Limits as a Barrier to Biometric System Security.
CoRR
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi
2024 — conf
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles.
ISC (1)
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
2024 — conf
Cryptographic Cryptid Protocols - How to Play Cryptid with Cheaters.
CANS (1)
Xavier Bultel, Charlène Jojon, Pascal Lafourcade
2024 J jnl
Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun.
New Gener. Comput.
Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
2024 C conf
Formal Analysis of C-ITS PKI Protocols.
SECRYPT
Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud
2024 Misc conf
How Did They Design This Game? Swish: Complexity and Unplayable Positions.
FUN
Antoine Dailly, Pascal Lafourcade, Gaël Marcadet
2024 C conf
Optimal Asynchronous Perpetual Grid Exploration.
SSS
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
2024 — conf
Secure Keyless Multi-party Storage Scheme.
ESORICS (3)
Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert
2024 — conf
Secure Voting Protocol Using Balance Scale.
FPS (1)
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
2024 A* conf
Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets.
USENIX Security Symposium
Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud
2024 A conf
Transferable, Auditable and Anonymous Ticketing Protocol.
AsiaCCS
Pascal Lafourcade, Dhekra Mahmoud, Gaël Marcadet, Charles Olivier-Anclin
2024 — conf
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption.
AFRICACRYPT
Pascal Lafourcade, Gaël Marcadet, Léo Robert
2023 — ch.
An Introduction to Tools for Formal Analysis of Cryptographic Protocols.
Handb. Formal Anal. Verification Cryptogr.
Murat Moran, Pascal Lafourcade, Maxime Puys, David Williams
2023 Misc conf
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun.
IWSEC
Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
2023 J jnl
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun.
IACR Cryptol. ePrint Arch.
Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
2023 J jnl
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring.
CoRR
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
2023 J jnl
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring.
ACM J. Exp. Algorithmics
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
2023 C conf
Generic Blockchain on Generic Human Behavior.
SECRYPT
Clémentine Gritti, Frédéric A. Hayek, Pascal Lafourcade
2023 Misc conf
Generic Privacy Preserving Private Permissioned Blockchains.
SAC
Frédéric A. Hayek, Mirko Koscina, Pascal Lafourcade, Charles Olivier-Anclin
2023 — conf
Generic and Universal Local Cryptocurrency: LCoin.
BRAINS
Frédéric A. Hayek, Pascal Lafourcade, Ariane Tichit
2023 A* conf
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment.
USENIX Security Symposium
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
2023 J jnl
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality.
Theor. Comput. Sci.
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
2023 J jnl
Perpetual torus exploration by myopic luminous robots.
Theor. Comput. Sci.
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade
2023 J jnl
Physical ZKP protocols for Nurimisaki and Kurodoko.
Theor. Comput. Sci.
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2023 J jnl
Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside.
IACR Cryptol. ePrint Arch.
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin
2023 — conf
Practical Construction for Secure Trick-Taking Games Even with Cards Set Aside.
FC (1)
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin
2023 J jnl
Privacy-Preserving Proof-of-Location With Security Against Geo-Tampering.
IEEE Trans. Dependable Secur. Comput.
Md. Mamunur Rashid Akand, Reihaneh Safavi-Naini, Marc Kneppers, Matthieu Giraud, Pascal Lafourcade
2023 Misc conf
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol.
SAC
Gaël Marcadet, Pascal Lafourcade, Léo Robert
2023 A* conf
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract).
IJCAI
Radu Ciucanu, Pascal Lafourcade, Gaël Marcadet, Marta Soare
2023 J jnl
Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed Bandits.
IEEE Trans. Dependable Secur. Comput.
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare
2023 J jnl
Secure protocols for cumulative reward maximization in stochastic multi-armed bandits.
J. Comput. Secur.
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
2023 J jnl
The Calissons Puzzle.
CoRR
Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Léo Robert
2022 B conf
A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking.
ACNS
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
2022 — conf
A Survey on Identity-Based Blind Signature.
FPS
Mirko Koscina, Pascal Lafourcade, Gaël Marcadet, Charles Olivier-Anclin, Léo Robert
2022 C conf
Authentication Attacks on Projection-based Cancelable Biometric Schemes.
SECRYPT
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi
2022 — conf
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models.
NordSec
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
2022 Misc conf
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?
FUN
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
2022 C conf
Card-Based ZKP Protocol for Nurimisaki.
SSS
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2022 J jnl
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake.
New Gener. Comput.
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2022 C conf
Hide a Liar: Card-Based ZKP Protocol for Usowan.
TAMC
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2022 J jnl
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment.
IACR Cryptol. ePrint Arch.
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
2022 — conf
Improved Constructions of Anonymous Credentials from Structure-Preserving Signatures on Equivalence Classes.
Public Key Cryptography (1)
Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner
2022 A* conf
Local Search with Weighting Schemes for the CG: SHOP 2022 Competition (CG Challenge).
SoCG
Florian Fontan, Pascal Lafourcade, Luc Libralesso, Benjamin Momège
2022 J jnl
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing.
IACR Cryptol. ePrint Arch.
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
2022 Misc conf
MARSHAL: messaging with asynchronous ratchets and signatures for faster HeALing.
SAC
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
2022 C conf
Near-collisions and Their Impact on Biometric Security.
SECRYPT
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi
2022 J jnl
Near-collisions and their Impact on Biometric Security (long).
CoRR
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi
2022 J jnl
Optimal threshold padlock systems.
J. Comput. Secur.
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
2022 C conf
Perpetual Torus Exploration by Myopic Luminous Robots.
SSS
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade
2022 J jnl
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle.
Inf. Comput.
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki
2022 J jnl
Protego: A Credential Scheme for Permissioned Blockchains (Extended Version).
IACR Cryptol. ePrint Arch.
Aisling Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner
2022 Misc conf
Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric.
INDOCRYPT
Aisling Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner
2022 J jnl
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version).
IACR Cryptol. ePrint Arch.
Pascal Lafourcade, Gaël Marcadet, Léo Robert
2022 J jnl
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits.
J. Artif. Intell. Res.
Radu Ciucanu, Pascal Lafourcade, Gaël Marcadet, Marta Soare
2022 A* conf
Samba: A System for Secure Federated Multi-Armed Bandits.
ICDE
Gaël Marcadet, Radu Ciucanu, Pascal Lafourcade, Marta Soare, Sihem Amer-Yahia
2022 J jnl
Shadoks Approach to Low-Makespan Coordinated Motion Planning.
ACM J. Exp. Algorithmics
Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
2021 J jnl
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking.
IACR Cryptol. ePrint Arch.
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu, Cristina Onete, Léo Robert
2021 J jnl
Authentication Attacks on Projection-based Cancelable Biometric Schemes.
CoRR
Axel Durbet, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi, Paul-Marie Grollemund
2021 A conf
Automatic Generation of Declarative Models For Differential Cryptanalysis.
CP
Luc Libralesso, François Delobel, Pascal Lafourcade, Christine Solnon
2021 J jnl
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.
Claudia Negri-Ribalta, Marius Lombard-Platet, Camille Salinesi, Pascal Lafourcade
2021 Misc conf
Card-Based ZKP Protocols for Takuzu and Juosan.
FUN
Daiki Miyahara, Léo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone
2021 J jnl
Design and practical implementation of verify-your-vote protocol.
Concurr. Comput. Pract. Exp.
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
2021 C conf
Fast Cramer-Shoup Cryptosystem.
SECRYPT
Pascal Lafourcade, Léo Robert, Demba Sow
2021 Misc conf
Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots.
FUN
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
2021 — ch.
From Relay Attacks to Distance-Bounding Protocols.
Security of Ubiquitous Computing Systems
Gildas Avoine, Ioana Boureanu, David Gérault, Gerhard P. Hancke, Pascal Lafourcade, Cristina Onete
2021 — conf
Generic Construction for Identity-Based Proxy Blind Signature.
FPS
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert
2021 J jnl
Generic Plaintext Equality and Inequality Proofs (Extended Version).
IACR Cryptol. ePrint Arch.
Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner
2021 — conf
Generic Plaintext Equality and Inequality Proofs.
Financial Cryptography (1)
Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner
2021 J jnl
How to construct physical zero-knowledge proofs for puzzles with a "single loop" condition.
Theor. Comput. Sci.
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone
2021 J jnl
How to generate perfect mazes?
Inf. Sci.
V. Bellot, Maxime Cautrès, Jean-Marie Favreau, M. Gonzalez-Thauvin, Pascal Lafourcade, Kergann Le Cornec, B. Mosnier, S. Rivière-Wekstein
2021 J jnl
Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes.
IACR Cryptol. ePrint Arch.
Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner
2021 C conf
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori.
CiE
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2021 J jnl
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori.
IACR Cryptol. ePrint Arch.
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2021 A conf
Mechanised Models and Proofs for Distance-Bounding.
CSF
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
2021 Misc conf
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality.
ICDCN
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
2021 — conf
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality.
NETYS
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
2021 A* conf
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge).
SoCG
Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
2021 J jnl
Shadoks Approach to Low-Makespan Coordinated Motion Planning.
CoRR
Loïc Crombez, Guilherme Dias da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
2020 J jnl
A Faster Cryptographer's Conspiracy Santa.
CoRR
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2020 J jnl
A faster cryptographer's Conspiracy Santa.
Theor. Comput. Sci.
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2020 B conf
A silver bullet?: a comparison of accountants and developers mental models in the raise of blockchain.
ARES
Rose Esmander, Pascal Lafourcade, Marius Lombard-Platet, Claudia Negri-Ribalta
2020 J jnl
About Blockchain Interoperability.
IACR Cryptol. ePrint Arch.
Pascal Lafourcade, Marius Lombard-Platet
2020 J jnl
About blockchain interoperability.
Inf. Process. Lett.
Pascal Lafourcade, Marius Lombard-Platet
2020 J jnl
Computing AES related-key differential characteristics with constraint programming.
Artif. Intell.
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
2020 — conf
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation.
ISWC (Demos/Industry)
Radu Ciucanu, Pascal Lafourcade
2020 — conf
Fast Short and Fast Linear Cramer-Shoup.
FPS
Pascal Lafourcade, Léo Robert, Demba Sow
2020 B conf
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation.
DBSec
Radu Ciucanu, Pascal Lafourcade
2020 B conf
How to Teach the Undecidability of Malware Detection Problem and Halting Problem.
WISE
Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert
2020 — conf
Infinite Grid Exploration by Disoriented Robots.
NETYS
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
2020 — conf
Linear Generalized ElGamal Encryption Scheme.
ICETE (2)
Pascal Lafourcade, Léo Robert, Demba Sow
2020 J jnl
Linear Generalized ElGamal Encryption Scheme.
IACR Cryptol. ePrint Arch.
Demba Sow, Léo Robert, Pascal Lafourcade
2020 J jnl
Optimal Threshold Padlock Systems.
CoRR
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
2020 C conf
Physical Zero-Knowledge Proof for Suguru Puzzle.
SSS
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
2020 J jnl
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments.
IACR Cryptol. ePrint Arch.
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
2020 — conf
Proof of Behavior (Short Paper).
Tokenomics
Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi, Ariane Tichit
2020 C conf
Secure Cumulative Reward Maximization in Linear Stochastic Bandits.
ProvSec
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare
2020 B conf
Secure Outsourcing of Multi-Armed Bandits.
TrustCom
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
2019 C conf
A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation.
ISPEC
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone
2019 C conf
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain.
ICTAC
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
2019 — conf
DABSTERS: Distributed Authorities using Blind Signature to Effect Robust Security in e-Voting.
ICETE (2)
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
2019 — conf
Efficient Invisible and Unlinkable Sanitizable Signatures.
Public Key Cryptography (1)
Xavier Bultel, Pascal Lafourcade, Russell W. F. Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda Krishnan Thyagarajan
2019 J jnl
Efficient Invisible and Unlinkable Sanitizable Signatures.
IACR Cryptol. ePrint Arch.
Xavier Bultel, Pascal Lafourcade, Russell W. F. Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda Krishnan Thyagarajan
2019 J jnl
Formally and practically verifying flow properties in industrial systems.
Comput. Secur.
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
2019 — conf
Get-your-ID: Decentralized Proof of Identity.
FPS
Pascal Lafourcade, Marius Lombard-Platet
2019 B conf
Infinite Grid Exploration by Disoriented Robots.
SIROCCO
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
2019 J jnl
Infinite Grid Exploration by Disoriented Robots.
CoRR
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
2019 Misc conf
Interactive Physical Zero-Knowledge Proof for Norinori.
COCOON
Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone
2019 — conf
Light Cryptography.
World Conference on Information Security Education
Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, Kazumasa Shinagawa
2019 C conf
Secure Best Arm Identification in Multi-armed Bandits.
ISPEC
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
2019 — conf
Secure Intersection with MapReduce.
ICETE (2)
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
2019 Misc conf
Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm.
IWSEC
Jean-Guillaume Dumas, Pascal Lafourcade, Julio López Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys
2019 — conf
Secure Strassen-Winograd Matrix Multiplication with MapReduce.
ICETE (2)
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
2019 — conf
Secure Trick-Taking Game Protocols - How to Play Online Spades with Cheaters.
Financial Cryptography
Xavier Bultel, Pascal Lafourcade
2019 J jnl
Secure Trick-Taking Game Protocols: How to Play Online Spades with Cheaters.
IACR Cryptol. ePrint Arch.
Xavier Bultel, Pascal Lafourcade
2019 — conf
Secure and Efficient Matrix Multiplication with MapReduce.
ICETE (Selected Papers)
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
2019 — conf
Security Analysis of Auctionity: A Blockchain Based E-Auction.
FPS
Pascal Lafourcade, Mike Nopere, Jérémy Picot, Daniela Pizzuti, Etienne Roudeix
2019 — conf
Towards Secure TMIS Protocols.
FPS
David Gérault, Pascal Lafourcade
2019 C conf
Verifiable and Private Oblivious Polynomial Evaluation.
WISTP
Hardik Gajera, Matthieu Giraud, David Gérault, Manik Lal Das, Pascal Lafourcade
2018 Misc conf
A Cryptographer's Conspiracy Santa.
FUN
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2018 C conf
Physical Zero-Knowledge Proof for Makaro.
SSS
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone
2018 J jnl
Revisiting AES related-key differential attacks with constraint programming.
Inf. Process. Lett.
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
2018 — conf
Secure Grouping and Aggregation with MapReduce.
ICETE (2)
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
2018 — conf
Secure Joins with MapReduce.
FPS
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
2018 B conf
Security analysis and psychological study of authentication methods with PIN codes.
RCIS
Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothée Kheyrkhah, Pascal Lafourcade, Dounia Lakhzoum, Vincent Marlin, Ladislav Moták
2018 — conf
Verify-Your-Vote: A Verifiable Blockchain-Based Online Voting Protocol.
EMCIS
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
2017 A conf
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol.
AsiaCCS
Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
2017 J jnl
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol.
IACR Cryptol. ePrint Arch.
Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
2017 J jnl
Analysis of AES, SKINNY, and Others with Constraint Programming.
IACR Cryptol. ePrint Arch.
Siwei Sun, David Gérault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu
2017 J jnl
Analysis of AES, SKINNY, and Others with Constraint Programming.
IACR Trans. Symmetric Cryptol.
Siwei Sun, David Gérault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu
2017 J jnl
Breaking and Fixing the HB+DB protocol.
IACR Cryptol. ePrint Arch.
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
2017 — conf
Breaking and fixing the HB+DB protocol.
WISEC
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
2017 J jnl
Dual protocols for private multi-party matrix multiplication and trust computations.
Comput. Secur.
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
2017 C conf
Duck Attack on Accountable Distributed Systems.
MobiQuitous
Amrit Kumar, Cédric Lauradoux, Pascal Lafourcade
2017 — conf
Formal Analysis of Combinations of Secure Protocols.
FPS
Elliott Blot, Jannik Dreier, Pascal Lafourcade
2017 C conf
Formal Analyze of a Private Access Control Protocol to a Cloud Storage.
SECRYPT
Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb
2017 J jnl
Formal analysis and offline monitoring of electronic exams.
Formal Methods Syst. Des.
Ali Kassem, Yliès Falcone, Pascal Lafourcade
2017 C conf
Formally Verifying Flow Properties in Industrial Systems.
SECRYPT
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
2017 J jnl
History-based MAC Protocol for Low Duty-Cycle Wireless Sensor Networks: the SLACK-MAC Protocol.
EAI Endorsed Trans. Mob. Commun. Appl.
Affoua Therese Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson
2017 J jnl
How to explain modern security concepts to your children.
Cryptologia
Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More
2017 C conf
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX.
SECRYPT
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
2017 — conf
LocalPKI: An Interoperable and IoT Friendly PKI.
ICETE (Selected Papers)
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
2017 — conf
No Such Thing as a Small Leak: Leakage-Abuse Attacks Against Symmetric Searchable Encryption.
ICETE (Selected Papers)
Alexandre Anzala-Yamajako, Olivier Bernard, Matthieu Giraud, Pascal Lafourcade
2017 J jnl
Practical Passive Leakage-Abuse Attacks Against Symmetric Searchable Encryption.
IACR Cryptol. ePrint Arch.
Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade
2017 C conf
Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption.
SECRYPT
Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade
2017 J jnl
Revisiting AES Related-Key Differential Attacks with Constraint Programming.
IACR Cryptol. ePrint Arch.
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
2017 J jnl
SR3: secure resilient reputation-based routing.
Wirel. Networks
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade
2017 B conf
Secure Matrix Multiplication with MapReduce.
ARES
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade
2017 B conf
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures.
CANS
Xavier Bultel, Pascal Lafourcade
2017 J jnl
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures.
IACR Cryptol. ePrint Arch.
Xavier Bultel, Pascal Lafourcade
2017 C conf
Verifiable Private Polynomial Evaluation.
ProvSec
Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade
2017 J jnl
Verifiable Private Polynomial Evaluation.
IACR Cryptol. ePrint Arch.
Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade
2017 J jnl
Zero-Knowledge Proxy Re-Identification Revisited.
IACR Cryptol. ePrint Arch.
Xavier Bultel, Pascal Lafourcade
2016 Misc conf
A Posteriori Openable Public Key Encryption.
SEC
Xavier Bultel, Pascal Lafourcade
2016 — conf
A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol.
WISEC
Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
2016 — conf
Anonymizable Ring Signature Without Pairing.
FPS
Olivier Blazy, Xavier Bultel, Pascal Lafourcade
2016 J jnl
Automated Proofs of Block Cipher Modes of Operation.
J. Autom. Reason.
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
2016 B conf
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol.
SAFECOMP
Maxime Puys, Marie-Laure Potet, Pascal Lafourcade
2016 J jnl
Formal verification of mobile robot protocols.
Distributed Comput.
Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil
2016 J jnl
History-based MAC Protocol for Low Duty-Cycle Wireless Sensor Networks: the SLACK-MAC Protocol.
EAI Endorsed Trans. Mob. Commun. Appl.
Affoua Thérèse Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson
2016 J jnl
On the existence and decidability of unique decompositions of processes in the applied π-calculus.
Theor. Comput. Sci.
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2016 Misc conf
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen.
FUN
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2016 J jnl
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen.
CoRR
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2016 C conf
Private Multi-party Matrix Multiplication and Trust Computations.
SECRYPT
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
2016 J jnl
Private Multi-party Matrix Multiplication and Trust Computations.
CoRR
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
2016 Misc conf
Related-Key Cryptanalysis of Midori.
INDOCRYPT
David Gérault, Pascal Lafourcade
2016 C conf
Two Secure Anonymous Proxy-based Data Storages.
SECRYPT
Olivier Blazy, Xavier Bultel, Pascal Lafourcade
2016 B conf
k-Times Full Traceable Ring Signature.
ARES
Xavier Bultel, Pascal Lafourcade
2015 C conf
A Framework for Analyzing Verifiability in Traditional and Electronic Exams.
ISPEC
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini
2015 — conf
Automated Verification of e-Cash Protocols.
ICETE (Selected Papers)
Jannik Dreier, Ali Kassem, Pascal Lafourcade
2015 J jnl
Brandt's fully private auction protocol revisited.
J. Comput. Secur.
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2015 C conf
Formal Analysis of E-Cash Protocols.
SECRYPT
Jannik Dreier, Ali Kassem, Pascal Lafourcade
2015 J jnl
Key Management inWireless Sensor Networks.
J. Sens. Actuator Networks
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade
2015 B conf
Monitoring Electronic Exams.
RV
Ali Kassem, Yliès Falcone, Pascal Lafourcade
2015 — conf
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties.
FPS
Pascal Lafourcade, Maxime Puys
2015 — conf
SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor Networks.
ADHOCNETS
Affoua Thérèse Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson
2015 — conf
Survey of Distance Bounding Protocols and Threats.
FPS
Agnès Brelurut, David Gérault, Pascal Lafourcade
2014 — conf
(In)Corruptibility of Routing Protocols.
FPS
Raphaël Jamet, Pascal Lafourcade
2014 J jnl
Comparison of mean hitting times for a degree-biased random walk.
Discret. Appl. Math.
Antoine Gerbaud, Karine Altisen, Stéphane Devismes, Pascal Lafourcade
2014 J jnl
Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks.
J. Sens. Actuator Networks
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade
2014 C conf
Formal Analysis of Electronic Exams.
SECRYPT
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
2014 — conf
Formal Security Analysis of Traditional and Electronic Exams.
ICETE (Selected Papers)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
2014 — conf
Formal Verification of e-Reputation Protocols.
FPS
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech
2014 — conf
Multihop Node Authentication Mechanisms for Wireless Sensor Networks.
ADHOC-NOW
Ismail Mansour, Damian Rusinek, Gérard Chalhoub, Pascal Lafourcade, Bogdan Ksiezopolski
2014 B conf
Performances of cryptographic accumulators.
LCN
Amrit Kumar, Pascal Lafourcade, Cédric Lauradoux
2014 Misc conf
Secure Auctions without Cryptography.
FUN
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
2014 — conf
Secure Multihop Key Establishment Protocols for Wireless Sensor Networks.
CSS
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade
2014 B conf
Secure key renewal and revocation for Wireless Sensor Networks.
LCN
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade, François Delobel
2013 — conf
A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks.
FPS
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech
2013 A conf
Automated Security Proofs for Almost-Universal Hash for MAC Verification.
ESORICS
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech
2013 J jnl
Automated Security Proofs for Almost-Universal Hash for MAC verification.
IACR Cryptol. ePrint Arch.
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech
2013 — conf
Brandt's Fully Private Auction Protocol Revisited.
AFRICACRYPT
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2013 A conf
Defining verifiability in e-auction protocols.
AsiaCCS
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
2013 — conf
Discovering Flaws in IDS Through Analysis of Their Inputs.
FPS
Raphaël Jamet, Pascal Lafourcade
2013 — conf
Formal Verification of e-Auction Protocols.
POST
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
2013 B conf
On Unique Decomposition of Processes in the Applied π-Calculus.
FoSSaCS
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2013 B conf
SR3: Secure Resilient Reputation-based Routing.
DCOSS
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade
2012 — conf
A formal taxonomy of privacy in voting protocols.
ICC
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
2012 B conf
Analysis of Random Walks Using Tabu Lists.
SIROCCO
Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade
2012 J jnl
Attacking Privacy in a Fully Private Auction Protocol
CoRR
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2012 — book
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
2012 A conf
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion.
ESORICS
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
2012 — ed.
Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
FPS
Joaquín García-Alfaro, Pascal Lafourcade
2011 J jnl
Automated Proofs for Asymmetric Encryption.
J. Autom. Reason.
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2011 — conf
Automated Verification of Block Cipher Modes of Operation, an Improved Method.
FPS
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
2011 — conf
Benaloh's Dense Probabilistic Encryption Revisited.
AFRICACRYPT
Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi
2011 — conf
Vote-Independence: A Powerful Privacy Notion for Voting Protocols.
FPS
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
2010 — conf
Automated Proofs for Asymmetric Encryption.
Concurrency, Compositionality, and Correctness
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2010 J jnl
Benaloh's Dense Probabilistic Encryption Revisited
CoRR
Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi
2010 J jnl
How to prevent type-flaw attacks on security protocols under algebraic properties
CoRR
Sreekanth Malladi, Pascal Lafourcade
2010 — conf
Privacy by Data Provenance with Digital Watermarking - A Proof-of-Concept Implementation for Medical Services with Electronic Health Records.
IIH-MSP
Jérémie Tharaud, Sven Wohlgemuth, Isao Echizen, Noboru Sonehara, Günter Müller, Pascal Lafourcade
2009 — conf
Automated Security Proof for Symmetric Encryption Modes.
ASIAN
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
2009 — conf
Comparing State Spaces in Automatic Security Protocol Analysis.
Formal to Practical Security
Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau
2009 — conf
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties.
Formal Aspects in Security and Trust
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier
2008 J jnl
Secure neighborhood discovery: a fundamental element for mobile ad hoc networking.
IEEE Commun. Mag.
Panos Papadimitratos, Marcin Poturalski, Patrick Schaller, Pascal Lafourcade, David A. Basin, Srdjan Capkun, Jean-Pierre Hubaux
2008 J jnl
Symbolic protocol analysis for monoidal equational theories.
Inf. Comput.
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2008 A* conf
Towards automated proofs for asymmetric encryption schemes in the random oracle model.
CCS
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
2007 J jnl
Attack and revison of an electronic auction protocol using OFMC.
Ann. UMCS Informatica
Bogdan Ksiezopolski, Pascal Lafourcade
2007 J jnl
Intruder deduction for the equational theory of Abelian groups with distributive encryption.
Inf. Comput.
Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2006 J jnl
A survey of algebraic properties used in cryptographic protocols.
J. Comput. Secur.
Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade
2006 — conf
Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption.
SecReT@ICALP
Pascal Lafourcade
2006 — conf
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and
ICALP (2)
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2006 — —
Vérification de protocoles cryptographiques en présence de théories équationnelles. (Verification of cryptographic protocols in presence of equationnal theories).
Pascal Lafourcade
2005 — conf
Intruder Deduction for
RTA
Pascal Lafourcade, Denis Lugiez, Ralf Treinen