Nombre de documents

41

Pascal Lafourcade


Article dans une revue6 documents

  • Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More. How to Explain Modern Security Concepts to your Children. Cryptologia, Taylor & Francis, 2016. <hal-01397035>
  • 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>
  • 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-01238097>
  • 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ès25 documents

  • 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. 2016, FUN with algorithms 2016. <http://www2.idsia.ch/cms/fun16/>. <hal-01326059>
  • 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>
  • Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Private Multi-party Matrix Multiplication and Trust Computations. Proceedings of the 13th International Joint Conference on e-Business and Telecommunications, Jul 2016, Lisbon, Portugal. 2016, Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. <10.5220/0005957200610072>. <hal-01366068>
  • 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, Lisbonne, Portugal. SECRYPT 2016 : 13th International Conference on Security and Cryptography, Lisbonne, Portugal, 26--28 Juillet 2016. 2016, <http://www.secrypt.icete.org/>. <hal-01344750>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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, 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. 11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. 2014, <10.5220/0005050901010112>. <hal-01337413>
  • 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>
  • 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>
  • 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>
  • 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, 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>
  • 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, 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, 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>
  • 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>
  • 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>

Direction d'ouvrage, Proceedings1 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>

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. Formal Verification of e-Auction Protocols. [Technical Report] TR-2012-17, VERIMAG. 2012. <hal-01338031>
  • 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. 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>