Edit Profile (opens in new tab) Lafourcade, Pascal Compute Distance To: Compute Author ID: lafourcade.pascal Published as: Lafourcade, Pascal; Lafourcade, P. Documents Indexed: 35 Publications since 2005 1 Contribution as Editor Co-Authors: 52 Co-Authors with 36 Joint Publications 788 Co-Co-Authors all top 5 Co-Authors 0 single-authored 9 Lakhnech, Yassine 8 Dreier, Jannik 6 Bultel, Xavier 5 Dumas, Jean-Guillaume 4 Ene, Cristian 4 Gérault, David 4 Lugiez, Denis 4 Treinen, Ralf 3 Gagné, Martin 3 Miyahara, Daiki 3 Mizuki, Takaaki 3 Safavi-Naini, Reihaneh 2 Courant, Judicaël 2 Daubignard, Marion 2 Delaune, Stéphanie 2 Devismes, Stéphane 2 Minier, Marine 2 Robert, Léo 2 Sasaki, Tatsuya 2 Solnon, Christine 2 Sone, Hideaki 1 Alnuaimi, Mohamed 1 Altisen, Karine 1 Bérard, Béatrice 1 Blazy, Olivier 1 Bramas, Quentin 1 Chaieb, Marwa 1 Ciucanu, Radu 1 Cremers, Cas J. F. 1 Das, Manik Lal 1 Falcone, Yliès 1 Fousse, Laurent 1 Gajera, Hardik 1 Garcia-Alfaro, Joaquin 1 Gerbaud, Antoine 1 Giraud, Matthieu 1 Kassem, Ali 1 Koscina, Mirko 1 Lai, Russell W. F. 1 Lombard-Platet, Marius 1 Malavolta, Giulio 1 Marcadet, Gael 1 Millet, Laure 1 Nadeau, Philippe 1 Potop-Butucaru, Maria Gradinariu 1 Robbana, Riadh 1 Schröder, Dominique 1 Soare, Marta 1 Thierry-Mieg, Yann 1 Thyagarajan, Sri Aravinda Krishnan 1 Tixeuil, Sébastien 1 Yousfi, Souheib all top 5 Serials 3 Theoretical Computer Science 2 Information Processing Letters 2 Information and Computation 2 Journal of Automated Reasoning 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Distributed Computing 1 Formal Methods in System Design 1 The Journal of Artificial Intelligence Research (JAIR) 1 Lecture Notes in Computer Science all top 5 Fields 24 Computer science (68-XX) 23 Information and communication theory, circuits (94-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications 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.68034Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf 17 2005 Intruder deduction for the equational theory of abelian groups with distributive encryption. Zbl 1112.68048Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf 7 2007 Interactive physical zero-knowledge proof for Norinori. Zbl 07172837Dumas, 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.91037Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal 6 2016 Symbolic protocol analysis in presence of a homomorphism operator and exclusive or. Zbl 1133.94315Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf 4 2006 Symbolic protocol analysis for monoidal equational theories. Zbl 1148.68325Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf 4 2008 Formal verification of mobile robot protocols. Zbl 1410.68217Bé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.94101Gérault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine 3 2018 Automated verification of block cipher modes of operation, an improved method. Zbl 1303.68051Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh 3 2012 Automated security proof for symmetric encryption modes. Zbl 1273.68109Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh 3 2009 Formal verification of e-auction protocols. Zbl 1390.68078Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine 3 2013 Automated proofs for asymmetric encryption. Zbl 1213.94094Courant, J.; Daubignard, M.; Ene, C.; Lafourcade, P.; Lakhnech, Y. 3 2011 Comparison of mean hitting times for a degree-biased random walk. Zbl 1288.05253Gerbaud, Antoine; Altisen, Karine; Devismes, Stéphane; Lafourcade, Pascal 3 2014 Formal analysis and offline monitoring of electronic exams. Zbl 1370.68205Kassem, Ali; Falcone, Yliès; Lafourcade, Pascal 2 2017 On unique decomposition of processes in the applied \(\pi\)-calculus. Zbl 1260.68265Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine 2 2013 Computing AES related-key differential characteristics with constraint programming. Zbl 1482.94049Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine 2 2020 Benaloh’s dense probabilistic encryption revisited. Zbl 1280.94055Fousse, Laurent; Lafourcade, Pascal; Alnuaimi, Mohamed 2 2011 Comparing state spaces in automatic security protocol analysis. Zbl 1242.94022Cremers, Cas J. F.; Lafourcade, Pascal; Nadeau, Philippe 1 2009 Vote-independence: a powerful privacy notion for voting protocols. Zbl 1302.94045Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine 1 2012 Automated proofs of block cipher modes of operation. Zbl 1356.68188Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh 1 2016 Related-key cryptanalysis of Midori. Zbl 1411.94060Gérault, David; Lafourcade, Pascal 1 2016 Efficient invisible and unlinkable sanitizable signatures. Zbl 1465.94093Bultel, 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.68080Bultel, 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.68197Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine 1 2016 Infinite grid exploration by disoriented robots. Zbl 07176669Bramas, Quentin; Devismes, Stéphane; Lafourcade, Pascal 1 2019 Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori. Zbl 07495184Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki 1 2021 Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori. Zbl 07495184Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki 1 2021 Computing AES related-key differential characteristics with constraint programming. Zbl 1482.94049Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine 2 2020 Interactive physical zero-knowledge proof for Norinori. Zbl 07172837Dumas, Jean-Guillaume; Lafourcade, Pascal; Miyahara, Daiki; Mizuki, Takaaki; Sasaki, Tatsuya; Sone, Hideaki 6 2019 Efficient invisible and unlinkable sanitizable signatures. Zbl 1465.94093Bultel, 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 07176669Bramas, Quentin; Devismes, Stéphane; Lafourcade, Pascal 1 2019 Revisiting AES related-key differential attacks with constraint programming. Zbl 1481.94101Gérault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine 3 2018 A cryptographer’s Conspiracy Santa. Zbl 1453.68080Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal 1 2018 Formal analysis and offline monitoring of electronic exams. Zbl 1370.68205Kassem, Ali; Falcone, Yliès; Lafourcade, Pascal 2 2017 Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen. Zbl 1369.91037Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal 6 2016 Formal verification of mobile robot protocols. Zbl 1410.68217Bé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.68188Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh 1 2016 Related-key cryptanalysis of Midori. Zbl 1411.94060Gérault, David; Lafourcade, Pascal 1 2016 On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus. Zbl 1333.68197Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine 1 2016 Comparison of mean hitting times for a degree-biased random walk. Zbl 1288.05253Gerbaud, Antoine; Altisen, Karine; Devismes, Stéphane; Lafourcade, Pascal 3 2014 Formal verification of e-auction protocols. Zbl 1390.68078Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine 3 2013 On unique decomposition of processes in the applied \(\pi\)-calculus. Zbl 1260.68265Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine 2 2013 Automated verification of block cipher modes of operation, an improved method. Zbl 1303.68051Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh 3 2012 Vote-independence: a powerful privacy notion for voting protocols. Zbl 1302.94045Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine 1 2012 Automated proofs for asymmetric encryption. Zbl 1213.94094Courant, J.; Daubignard, M.; Ene, C.; Lafourcade, P.; Lakhnech, Y. 3 2011 Benaloh’s dense probabilistic encryption revisited. Zbl 1280.94055Fousse, Laurent; Lafourcade, Pascal; Alnuaimi, Mohamed 2 2011 Automated security proof for symmetric encryption modes. Zbl 1273.68109Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh 3 2009 Comparing state spaces in automatic security protocol analysis. Zbl 1242.94022Cremers, Cas J. F.; Lafourcade, Pascal; Nadeau, Philippe 1 2009 Symbolic protocol analysis for monoidal equational theories. Zbl 1148.68325Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf 4 2008 Intruder deduction for the equational theory of abelian groups with distributive encryption. Zbl 1112.68048Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf 7 2007 Symbolic protocol analysis in presence of a homomorphism operator and exclusive or. Zbl 1133.94315Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf 4 2006 Intruder deduction for AC-like equational theories with homomorphisms. Zbl 1078.68034Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf 17 2005 all cited Publications top 5 cited Publications 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 all top 5 Cited in 21 Serials 10 Theoretical Computer Science 5 Information and Computation 4 Journal of Automated Reasoning 3 Formal Methods in System Design 2 Information Processing Letters 2 Distributed Computing 2 Logical Methods in Computer Science 1 Acta Informatica 1 Artificial Intelligence 1 Journal of Mathematical Analysis and Applications 1 Journal of Computer and System Sciences 1 Programming and Computer Software 1 Algorithmica 1 Designs, Codes and Cryptography 1 Linear Algebra and its Applications 1 Theory of Computing Systems 1 Discrete Dynamics in Nature and Society 1 SIAM Journal on Applied Dynamical Systems 1 RAIRO. Theoretical Informatics and Applications 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 55 Computer science (68-XX) 25 Information and communication theory, circuits (94-XX) 10 Mathematical logic and foundations (03-XX) 6 Combinatorics (05-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Operator theory (47-XX) Citations by Year