default search action

combined dblp search
author search
venue search
publication search

ask others

Pascal Lafourcade 0001

> Home > Persons

Person information

affiliation: University Clermont Auvergne, Clermont-Ferrand, France
affiliation: CNRS, UMR, Aubière, France
affiliation: University Joseph Fourier (UFR IMA), Grenoble, France

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ngc/HandKLMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/HandKLMR24
Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert:
Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun. New Gener. Comput. 42(3): 449-477 (2024)
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/africacrypt/LafourcadeMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africacrypt/LafourcadeMR24
Pascal Lafourcade, Gaël Marcadet, Léo Robert:
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption. AFRICACRYPT 2024: 174-198
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/asiaccs/0001MMO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asiaccs/0001MMO24
Pascal Lafourcade, Dhekra Mahmoud, Gaël Marcadet, Charles Olivier-Anclin:
Transferable, Auditable and Anonymous Ticketing Protocol. AsiaCCS 2024
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/cans/BultelJL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cans/BultelJL24
Xavier Bultel, Charlène Jojon, Pascal Lafourcade:
Cryptographic Cryptid Protocols - How to Play Cryptid with Cheaters. CANS (1) 2024: 26-48
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/LafourcadeMOR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/LafourcadeMOR24
Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert:
Secure Keyless Multi-party Storage Scheme. ESORICS (3) 2024: 279-298
[c134]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fun/Dailly0M24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fun/Dailly0M24
Antoine Dailly, Pascal Lafourcade, Gaël Marcadet:
How Did They Design This Game? Swish: Complexity and Unplayable Positions. FUN 2024: 10:1-10:19
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/isw/KanekoLMMPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isw/KanekoLMMPS24
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama:
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles. ISC (1) 2024: 211-231
[c132]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ndss/0001MR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/0001MR24
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault:
A Unified Symbolic Analysis of WireGuard. NDSS 2024
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/Msahli0M24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/Msahli0M24
Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud:
Formal Analysis of C-ITS PKI Protocols. SECRYPT 2024: 198-210
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/BramasDDLL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/BramasDDLL24
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani:
Optimal Asynchronous Perpetual Grid Exploration. SSS 2024: 89-105
[c129]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/Dreier0M24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/Dreier0M24
Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud:
Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets. USENIX Security Symposium 2024
2023
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/CiucanuLLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/CiucanuLLS23
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): 1-27 (2023)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/jea/CrombezFFGGLLMSZZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jea/CrombezFFGGLLMSZZ23
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: 1.2:1-1.2:13 (2023)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/RobertMLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RobertMLM23
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Physical ZKP protocols for Nurimisaki and Kurodoko. Theor. Comput. Sci. 972: 114071 (2023)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DarwichUBLDL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DarwichUBLDL23
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: 114143 (2023)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BramasLD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BramasLD23
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes:
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality. Theor. Comput. Sci. 977: 114162 (2023)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/AkandSKGL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/AkandSKGL23
Md. Mamunur Rashid 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): 131-146 (2023)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/CiucanuDLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/CiucanuDLS23
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): 1378-1389 (2023)
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/brains/HayekLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/brains/HayekLT23
Frédéric A. Hayek, Pascal Lafourcade, Ariane Tichit:
Generic and Universal Local Cryptocurrency: LCoin. BRAINS 2023: 1-4
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BellaBCLO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BellaBCLO23
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: 166-181
[c126]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Ciucanu0MS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Ciucanu0MS23
Radu Ciucanu, Pascal Lafourcade, Gaël Marcadet, Marta Soare:
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract). IJCAI 2023: 6863-6867
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/iwsec/HandKLMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwsec/HandKLMR23
Samuel D. Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert:
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun. IWSEC 2023: 255-272
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/Marcadet0R23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/Marcadet0R23
Gaël Marcadet, Pascal Lafourcade, Léo Robert:
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol. SAC 2023: 1558-1565
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/HayekK0O23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/HayekK0O23
Frédéric A. Hayek, Mirko Koscina, Pascal Lafourcade, Charles Olivier-Anclin:
Generic Privacy Preserving Private Permissioned Blockchains. SAC 2023: 1585-1592
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/GrittiH023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/GrittiH023
Clémentine Gritti, Frédéric A. Hayek, Pascal Lafourcade:
Generic Blockchain on Generic Human Behavior. SECRYPT 2023: 206-217
[c121]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/BlazyB0OR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/BlazyB0OR23
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: 5917-5934
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/crc/23/Moran0PW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/23/Moran0PW23
Murat Moran, Pascal Lafourcade, Maxime Puys, David Williams:
An Introduction to Tools for Formal Analysis of Cryptographic Protocols. Handb. Formal Anal. Verification Cryptogr. 2023: 105-152
[i37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-09632
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-09632
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 abs/2303.09632 (2023)
[i36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-02475
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-02475
Jean-Marie Favreau, Yan Gerard, Pascal Lafourcade, Léo Robert:
The Calissons Puzzle. CoRR abs/2307.02475 (2023)
[i35]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BellaBCLO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BellaBCLO23
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: 309 (2023)
[i34]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/HandKLMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/HandKLMR23
Samuel D. 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: 1560 (2023)
2022
[j34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/RobertMLLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/RobertMLLM22
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): 104858 (2022)
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Ciucanu0MS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Ciucanu0MS22
Radu Ciucanu, Pascal Lafourcade, Gaël Marcadet, Marta Soare:
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits. J. Artif. Intell. Res. 73: 737-765 (2022)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/DreierDLR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/DreierDLR22
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert:
Optimal threshold padlock systems. J. Comput. Secur. 30(5): 655-688 (2022)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/jea/CrombezFGGLL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jea/CrombezFGGLL22
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: 3.2:1-3.2:17 (2022)
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ngc/RobertMLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/RobertMLM22
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): 149-171 (2022)
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/acns/ArfaouiFJLNOR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acns/ArfaouiFJLNOR22
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: 399-418
[c119]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/compgeom/Fontan0LM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compgeom/Fontan0LM22
Florian Fontan, Pascal Lafourcade, Luc Libralesso, Benjamin Momège:
Local Search with Weighting Schemes for the CG: SHOP 2022 Competition (CG Challenge). SoCG 2022: 73:1-73:6
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/KoscinaLMOR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/KoscinaLMOR22
Mirko Koscina, Pascal Lafourcade, Gaël Marcadet, Charles Olivier-Anclin, Léo Robert:
A Survey on Identity-Based Blind Signature. FPS 2022: 19-37
[c117]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fun/BramasDD0L22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fun/BramasDD0L22
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
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/MarcadetCLSA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/MarcadetCLSA22
Gaël Marcadet, Radu Ciucanu, Pascal Lafourcade, Marta Soare, Sihem Amer-Yahia:
Samba: A System for Secure Federated Multi-Armed Bandits. ICDE 2022: 3154-3157
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/indocrypt/ConnollyDLP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indocrypt/ConnollyDLP22
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: 249-271
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/nordsec/SivelleDPLF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordsec/SivelleDPLF22
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson:
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. NordSec 2022: 234-252
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/pkc/Connolly0P22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkc/Connolly0P22
Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner:
Improved Constructions of Anonymous Credentials from Structure-Preserving Signatures on Equivalence Classes. Public Key Cryptography (1) 2022: 409-438
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BlazyFJ0OR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BlazyFJ0OR22
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: 1666-1673
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/DurbetG0T22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/DurbetG0T22
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi:
Near-collisions and Their Impact on Biometric Security. SECRYPT 2022: 382-389
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/DurbetG0MT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/DurbetG0MT22
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi:
Authentication Attacks on Projection-based Cancelable Biometric Schemes. SECRYPT 2022: 568-573
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/DarwichUBLDL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/DarwichUBLDL22
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade:
Perpetual Torus Exploration by Myopic Luminous Robots. SSS 2022: 164-177
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/RobertMLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/RobertMLM22
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Card-Based ZKP Protocol for Nurimisaki. SSS 2022: 285-298
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/tamc/RobertMLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tamc/RobertMLM22
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Hide a Liar: Card-Based ZKP Protocol for Usowan. TAMC 2022: 201-217
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/DarwichUBLDL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DarwichUBLDL22
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade:
Perpetual Torus Exploration by Myopic Luminous Robots: The Animations. Version 1. Zenodo, 2022 [all versions]
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/DarwichUBLDL22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DarwichUBLDL22a
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade:
Perpetual Torus Exploration by Myopic Luminous Robots: The Animations. Version 2. Zenodo, 2022 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/DarwichUBLDL22b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DarwichUBLDL22b
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade:
Perpetual Torus Exploration by Myopic Luminous Robots: The Animations. Version 3. Zenodo, 2022 [all versions]
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-04229
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-04229
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi:
Near-collisions and their Impact on Biometric Security (long). CoRR abs/2205.04229 (2022)
[i32]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BlazyFJLOR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BlazyFJLOR22
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: 486 (2022)
[i31]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/ConnollyDLP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/ConnollyDLP22
Aisling Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner:
Protego: A Credential Scheme for Permissioned Blockchains (Extended Version). IACR Cryptol. ePrint Arch. 2022: 661 (2022)
[i30]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BlazyB0OR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BlazyB0OR22
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: 1090 (2022)
[i29]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/LafourcadeMR22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/LafourcadeMR22a
Pascal Lafourcade, Gaël Marcadet, Léo Robert:
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version). IACR Cryptol. ePrint Arch. 2022: 1748 (2022)
2021
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/ChaiebYLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/ChaiebYLR21
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana:
Design and practical implementation of verify-your-vote protocol. Concurr. Comput. Pract. Exp. 33(1) (2021)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/BellotCFGLCMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/BellotCFGLCMR21
V. Bellot, Maxime Cautrès, Jean-Marie Favreau, M. Gonzalez-Thauvin, Pascal Lafourcade, Kergann Le Cornec, B. Mosnier, S. Rivière-Wekstein:
How to generate perfect mazes? Inf. Sci. 572: 444-459 (2021)
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jowua/RibaltaLSL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jowua/RibaltaLSL21
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): 85-110 (2021)
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LafourcadeMMRSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LafourcadeMMRSS21
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: 41-55 (2021)
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/RobertMLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/RobertMLM21
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. CiE 2021: 373-384
[c105]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/compgeom/CrombezFGG0L21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compgeom/CrombezFGG0L21
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: 63:1-63:9
[c104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/LibralessoDLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LibralessoDLS21
Luc Libralesso, François Delobel, Pascal Lafourcade, Christine Solnon:
Automatic Generation of Declarative Models For Differential Cryptanalysis. CP 2021: 40:1-40:18
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BoureanuDDG021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BoureanuDDG021
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade:
Mechanised Models and Proofs for Distance-Bounding. CSF 2021: 1-16
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BlazyBLP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BlazyBLP21
Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner:
Generic Plaintext Equality and Inequality Proofs. Financial Cryptography (1) 2021: 415-435
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/BultelLOR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/BultelLOR21
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert:
Generic Construction for Identity-Based Proxy Blind Signature. FPS 2021: 34-52
[c100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fun/Bramas0D21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fun/Bramas0D21
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes:
Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots. FUN 2021: 6:1-6:19
[c99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fun/MiyaharaR0TMSNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fun/MiyaharaR0TMSNS21
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: 20:1-20:21
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcn/Bramas0D21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcn/Bramas0D21
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality. ICDCN 2021: 76-85
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/RauchBDLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/RauchBDLL21
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: 95-110
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/0001RS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/0001RS21
Pascal Lafourcade, Léo Robert, Demba Sow:
Fast Cramer-Shoup Cryptosystem. SECRYPT 2021: 766-771
[p1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/21/AvoineBG00O21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/AvoineBG00O21
Gildas Avoine, Ioana Boureanu, David Gérault, Gerhard P. Hancke, Pascal Lafourcade, Cristina Onete:
From Relay Attacks to Distance-Bounding Protocols. Security of Ubiquitous Computing Systems 2021: 113-130
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-13956
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-13956
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 abs/2103.13956 (2021)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-15163
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-15163
Axel Durbet, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi, Paul-Marie Grollemund:
Authentication Attacks on Projection-based Cancelable Biometric Schemes. CoRR abs/2110.15163 (2021)
[i26]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BlazyBLP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BlazyBLP21
Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner:
Generic Plaintext Equality and Inequality Proofs (Extended Version). IACR Cryptol. ePrint Arch. 2021: 426 (2021)
[i25]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/RobertMLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/RobertMLM21
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. IACR Cryptol. ePrint Arch. 2021: 556 (2021)
[i24]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/ArfaouiFJLNOR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/ArfaouiFJLNOR21
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: 1487 (2021)
[i23]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/ConnollyLP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/ConnollyLP21
Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner:
Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes. IACR Cryptol. ePrint Arch. 2021: 1680 (2021)
2020
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GeraultLMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GeraultLMS20
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon:
Computing AES related-key differential characteristics with constraint programming. Artif. Intell. 278 (2020)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/LafourcadeL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/LafourcadeL20
Pascal Lafourcade, Marius Lombard-Platet:
About blockchain interoperability. Inf. Process. Lett. 161: 105976 (2020)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BultelDDL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BultelDDL20
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
A faster cryptographer's Conspiracy Santa. Theor. Comput. Sci. 839: 122-134 (2020)
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/Esmander0LR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/Esmander0LR20
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: 83:1-83:10
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/Ciucanu020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/Ciucanu020
Radu Ciucanu, Pascal Lafourcade:
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation. DBSec 2020: 347-366
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/LafourcadeRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/LafourcadeRS20
Pascal Lafourcade, Léo Robert, Demba Sow:
Fast Short and Fast Linear Cramer-Shoup. FPS 2020: 121-136
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/0001RS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/0001RS20
Pascal Lafourcade, Léo Robert, Demba Sow:
Linear Generalized ElGamal Encryption Scheme. ICETE (2) 2020: 372-379
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/BramasDL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/BramasDL20
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Infinite Grid Exploration by Disoriented Robots. NETYS 2020: 129-145
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/provsec/CiucanuDLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/provsec/CiucanuDLS20
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare:
Secure Cumulative Reward Maximization in Linear Stochastic Bandits. ProvSec 2020: 257-277
[c89]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/semweb/CiucanuL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/CiucanuL20
Radu Ciucanu, Pascal Lafourcade:
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation. ISWC (Demos/Industry) 2020: 1-6
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/RobertM0M20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/RobertM0M20
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki:
Physical Zero-Knowledge Proof for Suguru Puzzle. SSS 2020: 235-247
[c87]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tokenomics/Grollemund0TT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tokenomics/Grollemund0TT20
Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi, Ariane Tichit:
Proof of Behavior (Short Paper). Tokenomics 2020: 11:1-11:6
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/Ciucanu0LS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/Ciucanu0LS20
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare:
Secure Outsourcing of Multi-Armed Bandits. TrustCom 2020: 202-209
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/wise/Journault0MPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wise/Journault0MPR20
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: 159-169
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-11552
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-11552
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert:
Optimal Threshold Padlock Systems. CoRR abs/2004.11552 (2020)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-09244
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-09244
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
A Faster Cryptographer's Conspiracy Santa. CoRR abs/2005.09244 (2020)
[i20]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/SowRL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/SowRL20
Demba Sow, Léo Robert, Pascal Lafourcade:
Linear Generalized ElGamal Encryption Scheme. IACR Cryptol. ePrint Arch. 2020: 496 (2020)
[i19]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/LafourcadeL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/LafourcadeL20
Pascal Lafourcade, Marius Lombard-Platet:
About Blockchain Interoperability. IACR Cryptol. ePrint Arch. 2020: 643 (2020)
[i18]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BoureanuDDGL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BoureanuDDGL20
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: 1000 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/DreierPPLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/DreierPPLR19
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch:
Formally and practically verifying flow properties in industrial systems. Comput. Secur. 86: 453-470 (2019)
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/cocoon/Dumas0MMSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocoon/Dumas0MMSS19
Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone:
Interactive Physical Zero-Knowledge Proof for Norinori. COCOON 2019: 166-177
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/Bultel019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/Bultel019
Xavier Bultel, Pascal Lafourcade:
Secure Trick-Taking Game Protocols - How to Play Online Spades with Cheaters. Financial Cryptography 2019: 265-281
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/0001NPPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/0001NPPR19
Pascal Lafourcade, Mike Nopere, Jérémy Picot, Daniela Pizzuti, Etienne Roudeix:
Security Analysis of Auctionity: A Blockchain Based E-Auction. FPS 2019: 290-307
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/0001L19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/0001L19
Pascal Lafourcade, Marius Lombard-Platet:
Get-your-ID: Decentralized Proof of Identity. FPS 2019: 327-336
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/Gerault019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/Gerault019
David Gérault, Pascal Lafourcade:
Towards Secure TMIS Protocols. FPS 2019: 337-344
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/CiucanuG0Y19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/CiucanuG0Y19a
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure and Efficient Matrix Multiplication with MapReduce. ICETE (Selected Papers) 2019: 132-156
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/CiucanuG0Y19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/CiucanuG0Y19
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure Strassen-Winograd Matrix Multiplication with MapReduce. ICETE (2) 2019: 220-227
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/ChaiebKY0R19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/ChaiebKY0R19
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana:
DABSTERS: Distributed Authorities using Blind Signature to Effect Robust Security in e-Voting. ICETE (2) 2019: 228-235
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/CiucanuGLY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/CiucanuGLY19
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure Intersection with MapReduce. ICETE (2) 2019: 236-243
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/ChaiebKY0R19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/ChaiebKY0R19
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana:
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. ICTAC 2019: 292-312
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip11-8/0001MNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip11-8/0001MNS19
Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, Kazumasa Shinagawa:
Light Cryptography. World Conference on Information Security Education 2019: 89-101
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ispec/0001MMSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispec/0001MMSS19
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone:
A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation. ISPEC 2019: 135-151
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/ispec/Ciucanu0LS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispec/Ciucanu0LS19
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare:
Secure Best Arm Identification in Multi-armed Bandits. ISPEC 2019: 152-171
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/iwsec/Dumas0FLOPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwsec/Dumas0FLOPP19
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: 67-88
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/pkc/BultelLLMST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkc/BultelLLMST19
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: 159-189
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/sirocco/BramasD019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sirocco/BramasD019
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Infinite Grid Exploration by Disoriented Robots. SIROCCO 2019: 340-344
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/wistp/GajeraGGD019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wistp/GajeraGGD019
Hardik Gajera, Matthieu Giraud, David Gérault, Manik Lal Das, Pascal Lafourcade:
Verifiable and Private Oblivious Polynomial Evaluation. WISTP 2019: 49-65
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-09271
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-09271
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Infinite Grid Exploration by Disoriented Robots. CoRR abs/1905.09271 (2019)
[i16]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BultelL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BultelL19
Xavier Bultel, Pascal Lafourcade:
Secure Trick-Taking Game Protocols: How to Play Online Spades with Cheaters. IACR Cryptol. ePrint Arch. 2019: 375 (2019)
[i15]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/Bultel0LMST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Bultel0LMST19
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: 648 (2019)
2018
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/GeraultLMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/GeraultLMS18
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon:
Revisiting AES related-key differential attacks with constraint programming. Inf. Process. Lett. 139: 24-29 (2018)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/emcis/ChaiebYLR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emcis/ChaiebYLR18
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana:
Verify-Your-Vote: A Verifiable Blockchain-Based Online Voting Protocol. EMCIS 2018: 16-30
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/BultelCG0Y18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/BultelCG0Y18
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure Joins with MapReduce. FPS 2018: 78-94
[c65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fun/BultelDD018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fun/BultelDD018
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
A Cryptographer's Conspiracy Santa. FUN 2018: 13:1-13:13
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/CiucanuG0Y18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/CiucanuG0Y18
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye:
Secure Grouping and Aggregation with MapReduce. ICETE (2) 2018: 514-521
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/rcis/BultelDGIK0LMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/BultelDGIK0LMM18
Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothée Kheyrkhah, Pascal Lafourcade, Dounia Lakhzoum, Vincent Marlin, Ladislav Moták:
Security analysis and psychological study of authentication methods with PIN codes. RCIS 2018: 1-11
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/BultelDD0MMNSSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/BultelDD0MMNSSS18
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
2017
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/DumasLOP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/DumasLOP17
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys:
Dual protocols for private multi-party matrix multiplication and trust computations. Comput. Secur. 71: 51-70 (2017)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/cryptologia/BultelDLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cryptologia/BultelDLM17
Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More:
How to explain modern security concepts to your children. Cryptologia 41(5): 422-447 (2017)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KassemFL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KassemFL17
Ali Kassem, Yliès Falcone, Pascal Lafourcade:
Formal analysis and offline monitoring of electronic exams. Formal Methods Syst. Des. 51(1): 117-153 (2017)
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/mca/AbyGLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mca/AbyGLM17
Affoua Therese Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson:
History-based MAC Protocol for Low Duty-Cycle Wireless Sensor Networks: the SLACK-MAC Protocol. EAI Endorsed Trans. Mob. Commun. Appl. 3(11): e5 (2017)
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tosc/SunGLYTQH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosc/SunGLYTQH17
Siwei Sun, David Gérault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu:
Analysis of AES, SKINNY, and Others with Constraint Programming. IACR Trans. Symmetric Cryptol. 2017(1): 281-306 (2017)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/winet/AltisenDJL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/winet/AltisenDJL17
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade:
SR3: secure resilient reputation-based routing. Wirel. Networks 23(7): 2111-2133 (2017)
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/BultelCG017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/BultelCG017
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade:
Secure Matrix Multiplication with MapReduce. ARES 2017: 11:1-11:10
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/cans/Bultel017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cans/Bultel017
Xavier Bultel, Pascal Lafourcade:
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures. CANS 2017: 203-226
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AvoineBGG0OR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AvoineBGG0OR17
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
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/BlotD017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/BlotD017
Elliott Blot, Jannik Dreier, Pascal Lafourcade:
Formal Analysis of Combinations of Secure Protocols. FPS 2017: 53-67
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icete/Dumas0MOT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/Dumas0MOT17
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel:
LocalPKI: An Interoperable and IoT Friendly PKI. ICETE (Selected Papers) 2017: 224-252
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icete/Anzala-Yamajako17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/Anzala-Yamajako17
Alexandre Anzala-Yamajako, Olivier Bernard, Matthieu Giraud, Pascal Lafourcade:
No Such Thing as a Small Leak: Leakage-Abuse Attacks Against Symmetric Searchable Encryption. ICETE (Selected Papers) 2017: 253-277
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/mobiquitous/0001L017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mobiquitous/0001L017
Amrit Kumar, Cédric Lauradoux, Pascal Lafourcade:
Duck Attack on Accountable Distributed Systems. MobiQuitous 2017: 303-312
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/provsec/BultelDGGG017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/provsec/BultelDGGG017
Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade:
Verifiable Private Polynomial Evaluation. ProvSec 2017: 487-506
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/DreierPP0R17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/DreierPP0R17
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch:
Formally Verifying Flow Properties in Industrial Systems. SECRYPT 2017: 55-66
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/Dumas0MOT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/Dumas0MOT17
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel:
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. SECRYPT 2017: 187-199
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/GiraudAB017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/GiraudAB017
Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade:
Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption. SECRYPT 2017: 200-211
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/Berrima0GR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/Berrima0GR17
Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb:
Formal Analyze of a Private Access Control Protocol to a Cloud Storage. SECRYPT 2017: 495-500
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/wisec/BoureanuG0O17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wisec/BoureanuG0O17
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete:
Breaking and fixing the HB+DB protocol. WISEC 2017: 241-246
[i14]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/GiraudABL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/GiraudABL17
Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade:
Practical Passive Leakage-Abuse Attacks Against Symmetric Searchable Encryption. IACR Cryptol. ePrint Arch. 2017: 46 (2017)
[i13]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BultelL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BultelL17
Xavier Bultel, Pascal Lafourcade:
Zero-Knowledge Proxy Re-Identification Revisited. IACR Cryptol. ePrint Arch. 2017: 112 (2017)
[i12]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/GeraultLMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/GeraultLMS17
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon:
Revisiting AES Related-Key Differential Attacks with Constraint Programming. IACR Cryptol. ePrint Arch. 2017: 139 (2017)
[i11]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/SunGLYTQH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/SunGLYTQH17
Siwei Sun, David Gérault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu:
Analysis of AES, SKINNY, and Others with Constraint Programming. IACR Cryptol. ePrint Arch. 2017: 162 (2017)
[i10]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/AvoineBGGLOR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AvoineBGGLOR17
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. IACR Cryptol. ePrint Arch. 2017: 297 (2017)
[i9]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BoureanuG0O17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BoureanuG0O17
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete:
Breaking and Fixing the HB+DB protocol. IACR Cryptol. ePrint Arch. 2017: 416 (2017)
[i8]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BultelL17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BultelL17a
Xavier Bultel, Pascal Lafourcade:
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures. IACR Cryptol. ePrint Arch. 2017: 605 (2017)
[i7]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/BultelDGGGL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BultelDGGGL17
Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade:
Verifiable Private Polynomial Evaluation. IACR Cryptol. ePrint Arch. 2017: 756 (2017)
2016
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/BerardLMPTT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/BerardLMPTT16
Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil:
Formal verification of mobile robot protocols. Distributed Comput. 29(6): 459-487 (2016)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GagneLLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GagneLLS16
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini:
Automated Proofs of Block Cipher Modes of Operation. J. Autom. Reason. 56(1): 49-94 (2016)
[j12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/mca/AbyGLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mca/AbyGLM16
Affoua Thérèse Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson:
History-based MAC Protocol for Low Duty-Cycle Wireless Sensor Networks: the SLACK-MAC Protocol. EAI Endorsed Trans. Mob. Commun. Appl. 2(7): e2 (2016)
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DreierELL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DreierELL16
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
On the existence and decidability of unique decompositions of processes in the applied π-calculus. Theor. Comput. Sci. 612: 102-125 (2016)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/Bultel016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/Bultel016
Xavier Bultel, Pascal Lafourcade:
k-Times Full Traceable Ring Signature. ARES 2016: 39-48
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/BlazyB016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/BlazyB016
Olivier Blazy, Xavier Bultel, Pascal Lafourcade:
Anonymizable Ring Signature Without Pairing. FPS 2016: 214-222
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fun/BultelDDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fun/BultelDDL16
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. FUN 2016: 8:1-8:20
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/indocrypt/GeraultL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indocrypt/GeraultL16
David Gérault, Pascal Lafourcade:
Related-Key Cryptanalysis of Midori. INDOCRYPT 2016: 287-304
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/PuysP016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/PuysP016
Maxime Puys, Marie-Laure Potet, Pascal Lafourcade:
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. SAFECOMP 2016: 67-75
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sec/BultelL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/BultelL16
Xavier Bultel, Pascal Lafourcade:
A Posteriori Openable Public Key Encryption. SEC 2016: 17-31
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/Dumas0OP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/Dumas0OP16
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys:
Private Multi-party Matrix Multiplication and Trust Computations. SECRYPT 2016: 61-72
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/BlazyB016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/BlazyB016
Olivier Blazy, Xavier Bultel, Pascal Lafourcade:
Two Secure Anonymous Proxy-based Data Storages. SECRYPT 2016: 251-258
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/wisec/BultelGGLOR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wisec/BultelGGLOR16
Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert:
A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol. WISEC 2016: 121-133
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BultelDDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BultelDDL16
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. CoRR abs/1606.01045 (2016)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DumasLOP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DumasLOP16
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys:
Private Multi-party Matrix Multiplication and Trust Computations. CoRR abs/1607.03629 (2016)
2015
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/DreierDL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/DreierDL15
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
Brandt's fully private auction protocol revisited. J. Comput. Secur. 23(5): 587-610 (2015)
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsan/MansourCL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsan/MansourCL15
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade:
Key Management inWireless Sensor Networks. J. Sens. Actuator Networks 4(3): 251-273 (2015)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/adhocnets/AbyGLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhocnets/AbyGLM15
Affoua Thérèse Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson:
SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor Networks. ADHOCNETS 2015: 69-81
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/BrelurutGL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/BrelurutGL15
Agnès Brelurut, David Gérault, Pascal Lafourcade:
Survey of Distance Bounding Protocols and Threats. FPS 2015: 29-49
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/LafourcadeP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/LafourcadeP15
Pascal Lafourcade, Maxime Puys:
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties. FPS 2015: 137-155
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/Dreier0015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/Dreier0015
Jannik Dreier, Ali Kassem, Pascal Lafourcade:
Automated Verification of e-Cash Protocols. ICETE (Selected Papers) 2015: 223-244
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ispec/DreierGKLL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispec/DreierGKLL15
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini:
A Framework for Analyzing Verifiability in Traditional and Electronic Exams. ISPEC 2015: 514-529
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KassemFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KassemFL15
Ali Kassem, Yliès Falcone, Pascal Lafourcade:
Monitoring Electronic Exams. RV 2015: 118-135
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/DreierKL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/DreierKL15
Jannik Dreier, Ali Kassem, Pascal Lafourcade:
Formal Analysis of E-Cash Protocols. SECRYPT 2015: 65-75
2014
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dam/GerbaudADL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/GerbaudADL14
Antoine Gerbaud, Karine Altisen, Stéphane Devismes, Pascal Lafourcade:
Comparison of mean hitting times for a degree-biased random walk. Discret. Appl. Math. 170: 104-109 (2014)
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsan/MansourCL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsan/MansourCL14
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade:
Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks. J. Sens. Actuator Networks 3(3): 224-244 (2014)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/adhoc-now/MansourRCLK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhoc-now/MansourRCLK14
Ismail Mansour, Damian Rusinek, Gérard Chalhoub, Pascal Lafourcade, Bogdan Ksiezopolski:
Multihop Node Authentication Mechanisms for Wireless Sensor Networks. ADHOC-NOW 2014: 402-418
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/crss/MansourCL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crss/MansourCL14
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade:
Secure Multihop Key Establishment Protocols for Wireless Sensor Networks. CSS 2014: 166-177
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/KassemLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/KassemLL14
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech:
Formal Verification of e-Reputation Protocols. FPS 2014: 247-261
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/JametL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/JametL14
Raphaël Jamet, Pascal Lafourcade:
(In)Corruptibility of Routing Protocols. FPS 2014: 262-276
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fun/DreierJL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fun/DreierJL14
Jannik Dreier, Hugo Jonker, Pascal Lafourcade:
Secure Auctions without Cryptography. FUN 2014: 158-170
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/DreierG0LLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/DreierG0LLR14
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan:
Formal Security Analysis of Traditional and Electronic Exams. ICETE (Selected Papers) 2014: 294-318
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/lcn/KumarLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcn/KumarLL14
Amrit Kumar, Pascal Lafourcade, Cédric Lauradoux:
Performances of cryptographic accumulators. LCN 2014: 366-369
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/lcn/MansourCLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcn/MansourCLD14
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade, François Delobel:
Secure key renewal and revocation for Wireless Sensor Networks. LCN 2014: 382-385
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/DreierGKLLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/DreierGKLLR14
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan:
Formal Analysis of Electronic Exams. SECRYPT 2014: 101-112
2013
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/africacrypt/DreierDL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africacrypt/DreierDL13
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
Brandt's Fully Private Auction Protocol Revisited. AFRICACRYPT 2013: 88-106
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/DreierJL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/DreierJL13
Jannik Dreier, Hugo Jonker, Pascal Lafourcade:
Defining verifiability in e-auction protocols. AsiaCCS 2013: 547-552
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/dcoss/AltisenDJL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcoss/AltisenDJL13
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade:
SR3: Secure Resilient Reputation-based Routing. DCOSS 2013: 258-265
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/GagneLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/GagneLL13
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech:
Automated Security Proofs for Almost-Universal Hash for MAC Verification. ESORICS 2013: 291-308
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/DreierELL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/DreierELL13
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
On Unique Decomposition of Processes in the Applied π-Calculus. FoSSaCS 2013: 50-64
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/KassemLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/KassemLL13
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech:
A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks. FPS 2013: 306-322
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/JametL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/JametL13
Raphaël Jamet, Pascal Lafourcade:
Discovering Flaws in IDS Through Analysis of Their Inputs. FPS 2013: 391-407
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/DreierLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/DreierLL13
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech:
Formal Verification of e-Auction Protocols. POST 2013: 247-266
[i4]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/GagneLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/GagneLL13
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech:
Automated Security Proofs for Almost-Universal Hash for MAC verification. IACR Cryptol. ePrint Arch. 2013: 407 (2013)
2012
[b2]
- view
  - electronic edition @ archives-ouvertes.fr
  - details & citations
- export record
  dblp key:
  - books/hal/Lafourcade12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Lafourcade12
Pascal Lafourcade:
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). Grenoble Alpes University, France, 2012
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/DreierLL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/DreierLL12
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech:
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. ESORICS 2012: 451-468
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/DreierLL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/DreierLL12
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech:
A formal taxonomy of privacy in voting protocols. ICC 2012: 6710-6715
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sirocco/AltisenDGL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sirocco/AltisenDGL12
Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade:
Analysis of Random Walks Using Tabu Lists. SIROCCO 2012: 254-266
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/2011
Joaquín García-Alfaro, Pascal Lafourcade:
Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers. Lecture Notes in Computer Science 6888, Springer 2012, ISBN 978-3-642-27900-3 [contents]
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1210-6780
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-6780
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
Attacking Privacy in a Fully Private Auction Protocol. CoRR abs/1210.6780 (2012)
2011
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CourantDELL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CourantDELL11
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption. J. Autom. Reason. 46(3-4): 261-291 (2011)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/africacrypt/FousseLA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africacrypt/FousseLA11
Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi:
Benaloh's Dense Probabilistic Encryption Revisited. AFRICACRYPT 2011: 348-362
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/GagneLLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/GagneLLS11
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini:
Automated Verification of Block Cipher Modes of Operation, an Improved Method. FPS 2011: 23-31
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/DreierLL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/DreierLL11
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech:
Vote-Independence: A Powerful Privacy Notion for Voting Protocols. FPS 2011: 164-180
2010
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CourantDELL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CourantDELL10
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness 2010: 300-321
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iih-msp/TharaudWESML10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iih-msp/TharaudWESML10
Jérémie Tharaud, Sven Wohlgemuth, Isao Echizen, Noboru Sonehara, Günter Müller, 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
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1003-5385
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-5385
Sreekanth Malladi, Pascal Lafourcade:
How to prevent type-flaw attacks on security protocols under algebraic properties. CoRR abs/1003.5385 (2010)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1008-2991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1008-2991
Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi:
Benaloh's Dense Probabilistic Encryption Revisited. CoRR abs/1008.2991 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/GagneLLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/GagneLLS09
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini:
Automated Security Proof for Symmetric Encryption Modes. ASIAN 2009: 39-53
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/LafourcadeTV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/LafourcadeTV09
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier:
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties. Formal Aspects in Security and Trust 2009: 173-185
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/psec/CremersLN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psec/CremersLN09
Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau:
Comparing State Spaces in Automatic Security Protocol Analysis. Formal to Practical Security 2009: 70-94
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cm/PapadimitratosP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cm/PapadimitratosP08
Panos Papadimitratos, Marcin Poturalski, Patrick Schaller, Pascal Lafourcade, David A. Basin, Srdjan Capkun, Jean-Pierre Hubaux:
Secure neighborhood discovery: a fundamental element for mobile ad hoc networking. IEEE Commun. Mag. 46(2): 132-139 (2008)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DelauneLLT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DelauneLLT08
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen:
Symbolic protocol analysis for monoidal equational theories. Inf. Comput. 206(2-4): 312-351 (2008)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CourantDELL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CourantDELL08
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
Towards automated proofs for asymmetric encryption schemes in the random oracle model. CCS 2008: 371-380
2007
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LafourcadeLT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LafourcadeLT07
Pascal Lafourcade, Denis Lugiez, Ralf Treinen:
Intruder deduction for the equational theory of Abelian groups with distributive encryption. Inf. Comput. 205(4): 581-623 (2007)
[j2]
- view
  - electronic edition @ umcs.pl
  - details & citations
- export record
  dblp key:
  - journals/umcs/KsiezopolskiL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/umcs/KsiezopolskiL07
Bogdan Ksiezopolski, Pascal Lafourcade:
Attack and revison of an electronic auction protocol using OFMC. Ann. UMCS Informatica 6(1): 171-183 (2007)
2006
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - details & citations
- export record
  dblp key:
  - phd/hal/Lafourcade06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Lafourcade06
Pascal Lafourcade:
Vérification de protocoles cryptographiques en présence de théories équationnelles. (Verification of cryptographic protocols in presence of equationnal theories). École normale supérieure de Cachan, France, 2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/CortierDL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/CortierDL06
Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade:
A survey of algebraic properties used in cryptographic protocols. J. Comput. Secur. 14(1): 1-43 (2006)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/DelauneLLT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/DelauneLLT06
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen:
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. ICALP (2) 2006: 132-143
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lafourcade07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lafourcade07
Pascal Lafourcade:
Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption. SecReT@ICALP 2006: 37-57
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/LafourcadeLT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/LafourcadeLT05
Pascal Lafourcade, Denis Lugiez, Ralf Treinen:
Intruder Deduction for AC-Like Equational Theories with Homomorphisms. RTA 2005: 308-322

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.