Nombre de documents

53

Pascal Lafourcade


Article dans une revue10 documents

  • Siwei Sun, David Gerault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, et al.. Analysis of AES, SKINNY, and Others with Constraint Programming. IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2017. 〈hal-01615487〉
  • Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More. How to Explain Modern Security Concepts to your Children. Cryptologia, Taylor & Francis, 2017, 41 (5), 〈http://www.tandfonline.com/doi/full/10.1080/01611194.2016.1238422〉. 〈10.1080/01611194.2016.1238422〉. 〈hal-01397035〉
  • 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 Transactions on Mobile Communications and Applications, ICST, 2016, 2 (7). 〈hal-01471718〉
  • Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade. Key Management inWireless Sensor Networks. Journal of sensor and actuator networks, 2015, 4 (3), pp.251 - 273. 〈10.3390/jsan4030251〉. 〈hal-01593134〉
  • Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On the existence and decidability of unique decompositions of processes in the applied π-calculus. Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 〈10.1016/j.tcs.2015.11.033〉. 〈hal-01238097v2〉
  • Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's fully private auction protocol revisited. Journal of Computer Security, IOS Press, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. 〈10.3233/JCS-150535〉. 〈hal-01233555〉
  • Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade. Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks. Journal of sensor and actuator networks, 2014, 3 (3), pp.224 - 244. 〈10.3390/jsan3030224〉. 〈hal-01593137〉
  • Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen. Symbolic Protocol Analysis for Monoidal Equational Theories. Information and Computation, Elsevier, 2008, 206 (2-4), pp.312-351. 〈10.1016/j.ic.2007.07.005〉. 〈hal-00496352〉
  • Pascal Lafourcade, Denis Lugiez, Ralf Treinen. Intruder deduction for the equational theory of Abelian groups with distributive encryption. Information and Computation, Elsevier, 2007, 205 (4), pp.581-623. 〈10.1016/j.ic.2006.10.008〉. 〈hal-00496353〉
  • Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade. A Survey of Algebraic Properties Used in Cryptographic Protocols. Journal of Computer Security, IOS Press, 2006, 14 (1), pp.1-43. 〈inria-00000552〉

Communication dans un congrès31 documents

  • Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gerault, Pascal Lafourcade, et al.. A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. Asia Conference on Computer and Communications Security (ASIACCS 2017) , Apr 2017, Abu Dhabi, United Arab Emirates. ACM, pp.800-814, 2017, 〈10.1145/3052973.3053000〉. 〈hal-01588560〉
  • Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, et al.. SPADE : un protocole délimiteur de distance anonyme et résistant à la fraude terroriste. ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France. 2017. 〈hal-01524410〉
  • Ioana Boureanu, David Gerault, Pascal Lafourcade, Cristina Onete. Breaking and fixing the HB+DB protocol. Wisec 2017 - Conference on Security and Privacy in Wireless and Mobile Networks, Jul 2017, Boston, United States. pp.241 - 246, 2017, 〈10.1145/3098243.3098263 〉. 〈hal-01588562〉
  • Elliott Blot, Jannik Dreier, Pascal Lafourcade. Formal Analysis of Combinations of Secure Protocols. FPS 2017 - 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.1-15. 〈hal-01596010v2〉
  • David Gerault, Pascal Lafourcade. Related-Key Cryptanalysis of Midori. International Conference on Cryptology in India, Dec 2016, Kolkata, India. 2016. 〈hal-01588566〉
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. Erik Demaine ; Fabrizio Grandoni FUN with algorithms 2016, Jun 2016, La Maddalena, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 49, pp.8:1-8:20, 2016, Leibniz International Proceedings in Informatics (LIPIcs). 〈http://www2.idsia.ch/cms/fun16/〉. 〈10.4230/LIPIcs.FUN.2016.8〉. 〈hal-01326059〉
  • Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Private Multi-party Matrix Multiplication and Trust Computations. Pierangela Samarati. SECRYPT 2016 : 13th International Conference on Security and Cryptography, Jul 2016, Lisbon, Portugal. pp.61-72, 2016, Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. 〈http://www.secrypt.icete.org/〉. 〈10.5220/0005957200610072〉. 〈hal-01344750v2〉
  • Maxime Puys, Marie-Laure Potet, Pascal Lafourcade. Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. 35th International Conference, SAFECOMP 2016, Sep 2016, Trondheim, Norway. 2016, 35th International Conference, SAFECOMP 2016. 〈https://www.ntnu.edu/safecomp2016〉. 〈10.1007/978-3-319-45477-1_6〉. 〈hal-01366059〉
  • Olivier Blazy, Xavier Bultel, Pascal Lafourcade. Anonymizable Ring Signature Without Pairing. 9th International Symposium on Foundations & Practice of Security, 2016, Québec, Canada. Springer, 2016. 〈hal-01382951〉
  • Olivier Blazy, Xavier Bultel, Pascal Lafourcade. Two Secure Anonymous Proxy-based Data Storages. 13th Internation Conference on Security and Cryptography, 2016, Unknown, Unknown or Invalid Region. 2016. 〈hal-01382950〉
  • Thérèse Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson. SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor Networks. International Conference on Ad Hoc Networks (Adhocnets), 2015, San Remo Riviera, Italy. International Conference on Ad Hoc Networks (Adhocnets), 2015. 〈hal-01569756〉
  • Agnès Brelurut, David Gerault, Pascal Lafourcade. Survey of Distance Bounding Protocols and Threats. Foundations and Practice of Security (FPS), Oct 2015, Clermont Ferrand, France. Foundations and Practice of Security (FPS), pp.29 - 49, 2016, 〈10.1007/978-3-319-30303-1_3〉. 〈hal-01588557〉
  • Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. A Framework for Analyzing Verifiability in Traditional and Electronic Exams. Information Security Practice and Experience, May 2015, beijin, China. 2015, 〈10.1007/978-3-319-17533-1_35〉. 〈hal-01218138〉
  • Pascal Lafourcade, Maxime Puys. Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties. 8th International Symposium on Foundations and Practice of Security 8th International Symposium, FPS 2015, Oct 2015, Clermont-Ferrand, France. Springer, 8th International Symposium, FPS 2015 pp.137-155, 2016, Foundations nd Practice of Security 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers. 〈http://confiance-numerique.clermont-universite.fr/fps2015/〉. 〈10.1007/978-3-319-30303-1_9〉. 〈hal-01306395〉
  • Jannik Dreier, Ali Kassem, Pascal Lafourcade. Formal Analysis of E-Cash Protocols. 12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. 2015, 〈10.5220/0005544500650075〉. 〈hal-01337410〉
  • Ali Kassem, Yliès Falcone, Pascal Lafourcade. Monitoring Electronic Exams. 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. Springer, 9333, pp.16, 2015, Runtime Verification. 〈10.1007/978-3-319-23820-3_8〉. 〈hal-01248349〉
  • Ismail Mansour, Pascal Lafourcade, Gérard Chalhoub. Mécanismes d'authentification pour des réseaux de capteurs sans fil multi-sauts. ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4, 2014. 〈hal-00979732v2〉
  • Amrit Kumar, Pascal Lafourcade, Cédric Lauradoux. Performances of Cryptographic Accumulators. The 39th IEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada. 2014. 〈hal-00999432〉
  • Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions without Cryptography. Fun with Algorithms - 7th International Conference (FUN 2014), Jul 2014, Lipari, Italy. 2014, 〈10.1007/978-3-319-07890-8_14〉. 〈hal-01337414〉
  • Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, et al.. Formal Analysis of Electronic Exams. 11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. 2014, 〈10.5220/0005050901010112〉. 〈hal-01337413〉
  • Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, et al.. Formal Security Analysis of Traditional and Electronic Exams. E-Business and Telecommunications - 11th International Joint Conference, ICETE 2014, Revised Selected Papers, Aug 2014, Vienne, Austria. 2015, 〈10.1007/978-3-319-25915-4_16〉. 〈hal-01337412〉
  • Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, et al.. Formal Analysis of Electronic Exams. First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France. 〈hal-01338054〉
  • Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's Fully Private Auction Protocol Revisited. Amr Youssef and Abderrahmane Nitaj and Aboul Ella Hassanien. Africacrypt 2013, Jun 2013, Le Caire, Egypt. Springer, 7918, pp.88-106, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-38553-7_5〉. 〈hal-00745247v3〉
  • Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade. Routage sécurisé et résilient pour réseaux de capteurs sans fil. Nisse, Nicolas et Rousseau, Franck et Busnel, Yann. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4, 2013. 〈hal-00813387v3〉
  • Jannik Dreier, Jean-Guillaume Dumas, Hugo Jonker, Pascal Lafourcade. Verifiability in e-Auction Protocols & Brandt's Protocol Revisited. 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy. 〈hal-01338057〉
  • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Auction Protocols. Principles of Security and Trust - Second International Conference (POST 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. 2013, 〈10.1007/978-3-642-36830-1_13〉. 〈hal-01338020〉
  • Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus. 16th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. 2013, 〈10.1007/978-3-642-37075-5_4〉. 〈hal-01338002〉
  • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. European Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. 2012, 〈10.1007/978-3-642-33167-1_26〉. 〈hal-01338037〉
  • Karine Altisen, Stéphane Devismes, Pascal Lafourcade, Clément Ponsonnet. Routage par marche aléatoire à listes tabous. 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France. pp.14, 2011. 〈hal-00588086〉
  • Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi. Benaloh's dense probabilistic encryption revisited. Abderrahmane Nitaj, David Pointchebal. AFRICACRYPT'11 - 4th international conference on Progress in cryptology in Africa, Jul 2011, Dakar, Senegal. Springer, pp.348-362, 2011. 〈hal-00769449〉
  • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols. 4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. 2012, 〈10.1007/978-3-642-27901-0_13〉. 〈hal-01338070〉

Ouvrage (y compris édition critique et traduction)1 document

Direction d'ouvrage, Proceedings, Dossier1 document

  • Joaquin Garcia Alfaro, Pascal Lafourcade. Foundations and practice of security : 4th Canada-France MITACS workshop, FPS 2011, (Paris, May 12-13 2011). 6888, Springer Science, Business Media, pp.253, 2012, Lecture Notes in Computer Science, 978-3-642-27901-0. 〈hal-00724727〉

Pré-publication, Document de travail1 document

  • Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel. LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. 2017. 〈hal-01564696〉

Rapport7 documents

  • Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. On the Verifiability of (Electronic) Exams. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015. 〈hal-01337411〉
  • Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions Without Cryptography (extended version). [Technical Report] ETH Zurich. 2014. 〈hal-01337415〉
  • Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012. 〈hal-01338012〉
  • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. [Research Report] VERIMAG. 2012. 〈hal-01338039〉
  • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Auction Protocols. [Technical Report] TR-2012-17, VERIMAG. 2012. 〈hal-01338031〉
  • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011. 〈hal-01338071〉
  • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A formal taxonomy of privacy in voting protocols. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011. 〈hal-01338067〉

Thèse1 document

  • Pascal Lafourcade. Vérification de protocoles cryptographiques en présence de théories équationnelles. Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2006. Français. 〈tel-00133494〉

HDR1 document

  • Pascal Lafourcade. Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks. Cryptography and Security [cs.CR]. Université de Grenoble, 2012. 〈tel-00807568〉