×
Compute Distance To:
Author ID: lafourcade.pascal Recent zbMATH articles by "Lafourcade, Pascal"
Published as: Lafourcade, Pascal; Lafourcade, P.

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 83 times in 65 Documents Cited by Year
Intruder deduction for AC-like equational theories with homomorphisms. Zbl 1078.68034
Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf
17
2005
Intruder deduction for the equational theory of abelian groups with distributive encryption. Zbl 1112.68048
Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf
7
2007
Interactive physical zero-knowledge proof for Norinori. Zbl 07172837
Dumas, Jean-Guillaume; Lafourcade, Pascal; Miyahara, Daiki; Mizuki, Takaaki; Sasaki, Tatsuya; Sone, Hideaki
6
2019
Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen. Zbl 1369.91037
Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal
6
2016
Symbolic protocol analysis in presence of a homomorphism operator and exclusive or. Zbl 1133.94315
Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf
4
2006
Symbolic protocol analysis for monoidal equational theories. Zbl 1148.68325
Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf
4
2008
Formal verification of mobile robot protocols. Zbl 1410.68217
Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien
4
2016
Revisiting AES related-key differential attacks with constraint programming. Zbl 1481.94101
Gérault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine
3
2018
Automated verification of block cipher modes of operation, an improved method. Zbl 1303.68051
Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh
3
2012
Automated security proof for symmetric encryption modes. Zbl 1273.68109
Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh
3
2009
Formal verification of e-auction protocols. Zbl 1390.68078
Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine
3
2013
Automated proofs for asymmetric encryption. Zbl 1213.94094
Courant, J.; Daubignard, M.; Ene, C.; Lafourcade, P.; Lakhnech, Y.
3
2011
Comparison of mean hitting times for a degree-biased random walk. Zbl 1288.05253
Gerbaud, Antoine; Altisen, Karine; Devismes, Stéphane; Lafourcade, Pascal
3
2014
Formal analysis and offline monitoring of electronic exams. Zbl 1370.68205
Kassem, Ali; Falcone, Yliès; Lafourcade, Pascal
2
2017
On unique decomposition of processes in the applied \(\pi\)-calculus. Zbl 1260.68265
Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine
2
2013
Computing AES related-key differential characteristics with constraint programming. Zbl 1482.94049
Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine
2
2020
Benaloh’s dense probabilistic encryption revisited. Zbl 1280.94055
Fousse, Laurent; Lafourcade, Pascal; Alnuaimi, Mohamed
2
2011
Comparing state spaces in automatic security protocol analysis. Zbl 1242.94022
Cremers, Cas J. F.; Lafourcade, Pascal; Nadeau, Philippe
1
2009
Vote-independence: a powerful privacy notion for voting protocols. Zbl 1302.94045
Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine
1
2012
Automated proofs of block cipher modes of operation. Zbl 1356.68188
Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh
1
2016
Related-key cryptanalysis of Midori. Zbl 1411.94060
Gérault, David; Lafourcade, Pascal
1
2016
Efficient invisible and unlinkable sanitizable signatures. Zbl 1465.94093
Bultel, Xavier; Lafourcade, Pascal; Lai, Russell W. F.; Malavolta, Giulio; Schröder, Dominique; Thyagarajan, Sri Aravinda Krishnan
1
2019
A cryptographer’s Conspiracy Santa. Zbl 1453.68080
Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal
1
2018
On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus. Zbl 1333.68197
Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine
1
2016
Infinite grid exploration by disoriented robots. Zbl 07176669
Bramas, Quentin; Devismes, Stéphane; Lafourcade, Pascal
1
2019
Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori. Zbl 07495184
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki
1
2021
Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori. Zbl 07495184
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki
1
2021
Computing AES related-key differential characteristics with constraint programming. Zbl 1482.94049
Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine
2
2020
Interactive physical zero-knowledge proof for Norinori. Zbl 07172837
Dumas, Jean-Guillaume; Lafourcade, Pascal; Miyahara, Daiki; Mizuki, Takaaki; Sasaki, Tatsuya; Sone, Hideaki
6
2019
Efficient invisible and unlinkable sanitizable signatures. Zbl 1465.94093
Bultel, Xavier; Lafourcade, Pascal; Lai, Russell W. F.; Malavolta, Giulio; Schröder, Dominique; Thyagarajan, Sri Aravinda Krishnan
1
2019
Infinite grid exploration by disoriented robots. Zbl 07176669
Bramas, Quentin; Devismes, Stéphane; Lafourcade, Pascal
1
2019
Revisiting AES related-key differential attacks with constraint programming. Zbl 1481.94101
Gérault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine
3
2018
A cryptographer’s Conspiracy Santa. Zbl 1453.68080
Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal
1
2018
Formal analysis and offline monitoring of electronic exams. Zbl 1370.68205
Kassem, Ali; Falcone, Yliès; Lafourcade, Pascal
2
2017
Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen. Zbl 1369.91037
Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal
6
2016
Formal verification of mobile robot protocols. Zbl 1410.68217
Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien
4
2016
Automated proofs of block cipher modes of operation. Zbl 1356.68188
Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh
1
2016
Related-key cryptanalysis of Midori. Zbl 1411.94060
Gérault, David; Lafourcade, Pascal
1
2016
On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus. Zbl 1333.68197
Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine
1
2016
Comparison of mean hitting times for a degree-biased random walk. Zbl 1288.05253
Gerbaud, Antoine; Altisen, Karine; Devismes, Stéphane; Lafourcade, Pascal
3
2014
Formal verification of e-auction protocols. Zbl 1390.68078
Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine
3
2013
On unique decomposition of processes in the applied \(\pi\)-calculus. Zbl 1260.68265
Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine
2
2013
Automated verification of block cipher modes of operation, an improved method. Zbl 1303.68051
Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh
3
2012
Vote-independence: a powerful privacy notion for voting protocols. Zbl 1302.94045
Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine
1
2012
Automated proofs for asymmetric encryption. Zbl 1213.94094
Courant, J.; Daubignard, M.; Ene, C.; Lafourcade, P.; Lakhnech, Y.
3
2011
Benaloh’s dense probabilistic encryption revisited. Zbl 1280.94055
Fousse, Laurent; Lafourcade, Pascal; Alnuaimi, Mohamed
2
2011
Automated security proof for symmetric encryption modes. Zbl 1273.68109
Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh
3
2009
Comparing state spaces in automatic security protocol analysis. Zbl 1242.94022
Cremers, Cas J. F.; Lafourcade, Pascal; Nadeau, Philippe
1
2009
Symbolic protocol analysis for monoidal equational theories. Zbl 1148.68325
Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf
4
2008
Intruder deduction for the equational theory of abelian groups with distributive encryption. Zbl 1112.68048
Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf
7
2007
Symbolic protocol analysis in presence of a homomorphism operator and exclusive or. Zbl 1133.94315
Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf
4
2006
Intruder deduction for AC-like equational theories with homomorphisms. Zbl 1078.68034
Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf
17
2005
all top 5

Cited by 121 Authors

10 Lafourcade, Pascal
9 Delaune, Stéphanie
4 Miyahara, Daiki
4 Mizuki, Takaaki
3 Cortier, Véronique
3 Estrada, Ernesto
3 Lakhnech, Yassine
3 Minier, Marine
3 Rusinowitch, Michaël
3 Sangnier, Arnaud
3 Sone, Hideaki
3 Tixeuil, Sébastien
2 Anantharaman, Siva
2 Bollig, Benedikt
2 Bouyer, Patricia
2 Bultel, Xavier
2 Bursuc, Sergiu
2 Chistikov, Dmitry V.
2 Cicerone, Serafino
2 Ciobâcă, Ştefan
2 Comon-Lundh, Hubert
2 Czerwiński, Wojciech
2 Di Stefano, Gabriele
2 Dreier, Jannik
2 Gérault, David
2 Hofman, Piotr
2 Itoh, Toshiya
2 Kremer, Steve
2 Larsen, Kim Guldstrand
2 Laursen, Simon
2 Lin, Hai
2 Lugiez, Denis
2 Luttik, Bas
2 Lynch, Christopher A.
2 Manabe, Yoshifumi
2 Markey, Nicolas
2 Narendran, Paliath
2 Navarra, Alfredo
2 Ono, Hibiki
2 Pilipczuk, Michał
2 Praveen, M.
2 Quaas, Karin
2 Randour, Mickael
2 Robert, Léo
2 Ruangwises, Suthee
2 Sasaki, Tatsuya
2 Solnon, Christine
2 Treinen, Ralf
2 Wehar, Michael
1 Abadi, Martín
1 Alabdulatif, Abdulatif
1 Ayala-Rincón, Mauricio
1 Bagheri, Nasour
1 Balabonski, Thibaut
1 Barthe, Gilles
1 Bartocci, Ezio
1 Ben Rajeb, Narjes
1 Berrima, Mouhebeddine
1 Boichut, Yohan
1 Bossuat, Angèle
1 Boyd, Colin A.
1 Carmer, Brent
1 Chalyy, D. Yu.
1 Chevalier, Yannick
1 Delga, Amélie
1 Derbez, Patrick
1 Dumas, Jean-Guillaume
1 Dutertre, Bruno
1 Ene, Cristian
1 Falcone, Yliès
1 Fernández, Maribel
1 Frasca, Mattia
1 Gagné, Martin
1 Gambuzza, Lucia Valentina
1 Gascón, Adrià
1 González Nieto, Juan Manuel
1 Goré, Rajeev Prabhakar
1 Grégoire, Benjamin
1 Haase, Christoph
1 Héam, Pierre-Cyrille
1 Hirschi, Lucca
1 Huynh, Paul
1 Jonker, Hugo Lennaert
1 Kassem, Ali
1 Khalil, Ibrahim
1 Kouchnarenko, Olga
1 Koyama, Hiroto
1 Kreutzer, Stephan
1 Kumarage, Heshan
1 Kuz’min, E. V.
1 Lee, Matias David
1 Majumdar, Rupak
1 Mauw, Sjouke
1 Mollimard, Victor
1 Mugnolo, Delio
1 Nowak, David E.
1 Ooshita, Fukuhito
1 Ouaknine, Joel O.
1 Pang, Jun
1 Potop-Butucaru, Maria Gradinariu
...and 21 more Authors

Citations by Year