Number of documents

128

Pascal Lafourcade


Journal articles27 documents

  • Pascal Lafourcade, Matthieu Giraud, Olivier Bernard, Alexandre Anzala-Yamajako. No Such Thing as a Small Leak: Leakage-Abuse Attacks Against Symmetric Searchable Encryption. Communications in Computer and Information Science, Springer Verlag, 2019, 990, pp.253-277. ⟨https://link.springer.com/book/10.1007%2F978-3-030-11039-0⟩. ⟨hal-01990354⟩
  • Ariane Tichit, Pascal Lafourcade, Vincent Mazenod. Les monnaies virtuelles décentralisées sont-elles des dispositifs d'avenir ?. Interventions Economiques : Papers in Political Economy, Association d’Économie Politique, 2018. ⟨hal-01995938⟩
  • Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb. Formal analysis of a private access control protocol to a cloud storage. International Journal of Innovative Computing and Applications, Inderscience Publishers, 2018, 9 (3), pp.150-164. ⟨10.1504/IJICA.2018.093733⟩. ⟨hal-01990336⟩
  • David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon. Revisiting AES Related-Key Differential Attacks with Constraint Programming. Information Processing Letters, Elsevier, 2018, 139, pp.24-29. ⟨10.1016/j.ipl.2018.07.001⟩. ⟨hal-01827727⟩
  • Béatrice Drot-Delange, Séverine Fleury, Pascal Lafourcade, Malika More. Un tour de magie pour introduire la représentation binaire des nombres. Le Bulletin Vert, Association des Professeurs de Mathématiques de l'Enseignement Public (APMEP), 2018, Mathématiques et interdisciplinarité - II, pp.17-34. ⟨hal-01852811⟩
  • Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch. Formally and Practically Verifying Flow Integrity Properties in Industrial Systems. Computers and Security, Elsevier, 2018, ⟨10.1016/j.cose.2018.09.018⟩. ⟨hal-01959766⟩
  • Pascal Lafourcade. Vérifier la sécurité de nos communications. Interstices, INRIA, 2017, ⟨https://interstices.info/jcms/p_93696/verifier-la-securite-de-nos-communications⟩. ⟨hal-01688780⟩
  • Ali Kassem, Yliès Falcone, Pascal Lafourcade. Formal analysis and offline monitoring of electronic exams. Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.117 - 153. ⟨10.1007/s10703-017-0280-0⟩. ⟨hal-01653884⟩
  • 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⟩
  • 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, 2017 (1), pp.281--306. ⟨hal-01615487⟩
  • Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations. Computers and Security, Elsevier, 2017, 71, pp.51-70. ⟨10.1016/j.cose.2017.04.013⟩. ⟨hal-01497866⟩
  • Karine Altisen, Raphaël Jamet, Stéphane Devismes, Pascal Lafourcade. SR3: secure resilient reputation-based routing. Wireless Networks, Springer Verlag, 2017, 23 (7), pp.2111 - 2133. ⟨10.1007/s11276-016-1273-4⟩. ⟨hal-01707698⟩
  • 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⟩
  • Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini. Automated Proofs of Block Cipher Modes of Operation. Journal of Automated Reasoning, Springer Verlag, 2016, 56 (1), pp.49--94. ⟨hal-01707712⟩
  • Beatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, et al.. Formal verification of mobile robot protocols. Distributed Computing, Springer Verlag, 2016, 29 (6), pp.459-487. ⟨http://link.springer.com/article/10.1007/s00446-016-0271-1⟩. ⟨10.1007/s00446-016-0271-1⟩. ⟨hal-01344903⟩
  • Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On the existence and decidability of unique decompositions of processes in the applied π-calculus. Theoretical Computer Science, Elsevier, 2016, 612, pp.102--125. ⟨10.1016/j.tcs.2015.11.033⟩. ⟨hal-01238097v2⟩
  • 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, 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⟩
  • Antoine Gerbaud, Karine Altisen, Stéphane Devismes, Pascal Lafourcade. Comparison of Mean Hitting Times for a Degree-Biased Random Walk. Discrete Applied Mathematics, Elsevier, 2014, 170, pp.104 - 109. ⟨10.1016/j.dam.2014.01.021⟩. ⟨hal-01759847⟩
  • J. Courant, · Daubignard, C. Ene, Pascal Lafourcade, · Lakhnech. Automated Proofs for Asymmetric Encryption. Journal of Automated Reasoning, Springer Verlag, 2011, 46 (3-4), pp.261 - 291. ⟨10.1007/s10817-010-9186-x⟩. ⟨hal-01759799⟩
  • Panos Papadimitratos, Marcin Poturalski, Patrick Schaller, Pascal Lafourcade, David Basin, et al.. Secure Neighborhood Discovery: A Fundamental Element for Mobile Ad Hoc Networking. IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2008, 46 (2), pp.132 - 139. ⟨10.1109/MCOM.2008.4473095⟩. ⟨hal-01759941⟩
  • 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, Bogdan Ksiezopolski. Attack and Revison of an Electronic Auction Protocol using OFMC. annales UMCS - Informatica, De Gruyter, 2007, 6 (1), pp.171-183. ⟨hal-01759950⟩
  • 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⟩
  • Pascal Lafourcade. Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption. Electronic Notes in Theoretical Computer Science, Elsevier, 2007, 171 (4), pp.37 - 57. ⟨10.1016/j.entcs.2007.02.054⟩. ⟨hal-01759944⟩
  • 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⟩

Conference papers80 documents

  • Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana. DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-voting. International Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. ⟨hal-02145809⟩
  • Xavier Bultel, Pascal Lafourcade. Secure Trick-Taking Game Protocols How to Play Online Spades with Cheaters. Financial Cryptography and Data Security Conference, Feb 2019, Basse terre, Saint Kitts and Nevis. ⟨hal-01959762⟩
  • Xavier Bultel, Pascal Lafourcade, Russell Lai, Giulio Malavolta, Dominique Schröder, et al.. Efficient Invisible and Unlinkable Sanitizable Signatures. International Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China. ⟨hal-01964514⟩
  • Quentin Bramas, Stéphane Devismes, Pascal Lafourcade. Brief Announcement: Infinite Grid Exploration by Disoriented Robots. 26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019, Jul 2019, L'Aquila, Italy. ⟨hal-02145822⟩
  • Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, Kazumasa Shinagawa. Light Cryptography. 12th World Conference on Information Security Education WISE 2019, IFIP Working Group 11.8,, Jun 2019, lisbonne, Portugal. ⟨hal-02145833⟩
  • Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye. Secure Intersection with MapReduce. International Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. ⟨hal-02129149⟩
  • Jean-Guillaume Dumas, Pascal Lafourcade, Julio Fenner, David Lucas, Jean-Baptiste Orfila, et al.. Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm. The 14th International Workshop on Security (IWSEC 2019), Aug 2019, Tokyo, Japan. ⟨hal-01781554v3⟩
  • Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, et al.. Interactive Physical Zero-Knowledge Proof for Norinori. The 25th International Computing and Combinatorics Conference (COCOON 2019), Jul 2019, Xian, China. ⟨hal-02150062⟩
  • Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana. Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol. 15th European Mediterranean and Middle Eastern Conference on Information Systems, Oct 2018, Limassol, Cyprus. ⟨hal-01874855⟩
  • Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye. Secure Grouping and Aggregation with MapReduce. 15th International Conference on Information Security and Cryptography, SECRYPT'18, Jul 2018, Porto, Portugal. pp.514--521. ⟨hal-01874859⟩
  • Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye. Secure Joins with MapReduce. FPS 2018 : The 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada. ⟨hal-01903098⟩
  • Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothée Kheyrkhah, et al.. Security Analysis and Psychological Study of Authentication Methods with PIN Codes. RCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1--11, ⟨10.1109/RCIS.2018.8406648⟩. ⟨hal-01777898⟩
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, et al.. Physical Zero-Knowledge Proof for Makaro. SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩. ⟨hal-01898048⟩
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. A Cryptographer's Conspiracy Santa. FUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩. ⟨hal-01777997v2⟩
  • Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade. Secure Matrix Multiplication with MapReduce. 12th International Conference on Availability, Reliability and Security ARES, Aug 2017, Reggio Di Calabria, Italy. ⟨hal-01927273⟩
  • Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch. Formally Verifying Flow Properties in Industrial Systems. SECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩. ⟨hal-01527913⟩
  • Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gerault, Pascal Lafourcade, et al.. A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. ACM Symposium on Information, Computer and Communications Security (AsiaCCS 2017), Apr 2017, Abu Dhabi, United Arab Emirates. pp.800-814, ⟨10.1145/3052973.3053000⟩. ⟨hal-01588560⟩
  • 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, ⟨10.1145/3098243.3098263 ⟩. ⟨hal-01588562⟩
  • Xavier Bultel, Pascal Lafourcade. Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures. International Conference on Cryptology and Network Security CANS 17, 2017, Hong Kong, China. ⟨hal-01980172⟩
  • 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.53-67, ⟨10.1007/978-3-319-75650-9_4⟩. ⟨hal-01596010v2⟩
  • Xavier Bultel, Pascal Lafourcade. Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures. International Conference on Cryptology and Network Security, 2017, Hong Kong, China. ⟨hal-01964491⟩
  • Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade. Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption. 14th International Conference on Security and Cryptography SECRYPT 2017, Jul 2017, Madrid, France. ⟨10.5220/0006461202000211⟩. ⟨hal-01689780⟩
  • Narjes Ben Rajeb, Mouhebeddine Berrima, Matthieu Giraud, Pascal Lafourcade. Formal Analyze of a Private Access Control Protocol to a Cloud Storage. 14th International Conference on Security and Cryptography SECRYPT 2017, Jul 2017, Madrid, France. ⟨10.5220/0006461604950500⟩. ⟨hal-01689790⟩
  • Amrit Kumar, Cédric Lauradoux, Pascal Lafourcade. Duck Attack on Accountable Distributed Systems. 14th International Conference on Mobile and Ubiquitous Systems: Networks and Services MobiQuitous 2017, Nov 2017, Melbourne, Australia. pp.1-8. ⟨hal-01589196⟩
  • 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. ⟨hal-01524410⟩
  • Xavier Bultel, Manik Das, Hardik Gajera, David Gérault, Matthieu Giraud, et al.. Verifiable Private Polynomial Evaluation. 11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506. ⟨hal-01689825⟩
  • Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel. LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. 14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩. ⟨hal-01564696⟩
  • Olivier Blazy, Xavier Bultel, Pascal Lafourcade. Two Secure Anonymous Proxy-based Data Storages. 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016, Lisbon, Portugal. pp.251--258. ⟨hal-01382950⟩
  • Xavier Bultel, Sébastien Gambs, David Gérault, Pascal Lafourcade, Cristina Onete, et al.. A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol. 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec), Jul 2016, Darmstadt, Germany. pp.121-133, ⟨10.1145/2939918.2939919⟩. ⟨hal-01510800⟩
  • Olivier Blazy, Xavier Bultel, Pascal Lafourcade. Anonymizable Ring Signature Without Pairing. 9th International Symposium on Foundations & Practice of Security, 2016, Québec, Canada. ⟨hal-01382951⟩
  • 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. ⟨10.1007/978-3-319-45477-1_6⟩. ⟨hal-01366059⟩
  • Noudjoud Kahya, Nacira Ghoualmi, Pascal Lafourcade, Roumaissa Khelf. Formal Analysis of Key Management in mobile Wimax. The 2nd International Conference on Pattern Analysis and Intelligent Systems (IEEE) PAIS'16, 2016, Khenchela, Algeria. ⟨hal-01964502⟩
  • David Gerault, Pascal Lafourcade. Related-Key Cryptanalysis of Midori. International Conference on Cryptology in India, Dec 2016, Kolkata, India. ⟨hal-01588566⟩
  • Xavier Bultel, Pascal Lafourcade. A Posteriori Openable Public Key Encryption. 31st IFIP Information Security & Privacy Conference (IFIP SEC), May 2016, Ghent, Belgium. pp.17-31, ⟨10.1007/978-3-319-33630-5_2⟩. ⟨hal-01369535⟩
  • Xavier Bultel, Pascal Lafourcade. k-Times Full Traceable Ring Signature. 11th International Conference on Availability, Reliability and Security (ARES 2016), Aug 2016, Salzburg, France. pp.39--48, ⟨10.1109/ARES.2016.37⟩. ⟨hal-01691940⟩
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. 8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨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. 13th International Conference on Security and Cryptography SECRYPT 16, Jul 2016, Lisbon, Portugal. pp.61-72, ⟨10.5220/0005957200610072⟩. ⟨hal-01344750v2⟩
  • 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. ⟨10.5220/0005544500650075⟩. ⟨hal-01337410⟩
  • 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. pp.137-155, ⟨10.1007/978-3-319-30303-1_9⟩. ⟨hal-01306395⟩
  • Ali Kassem, Yliès Falcone, Pascal Lafourcade. Monitoring Electronic Exams. 6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. pp.16, ⟨10.1007/978-3-319-23820-3_8⟩. ⟨hal-01248349⟩
  • Christian Hoffmann, Anne Briançon-Marjollet, Philippe Brulard, Jean-Luc Cracowski, Julien Douady, et al.. Les émulateurs pédagogiques : une source d’innovations qui se construit à l’Université Joseph Fourier de Grenoble. Question de Pédagogies dans l’Enseignement Supérieur (QPES), Jun 2015, Brest, France. pp.277. ⟨hal-02022397⟩
  • 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. pp.29 - 49, ⟨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 Conference, May 2015, beijin, China. ⟨10.1007/978-3-319-17533-1_35⟩. ⟨hal-01218138⟩
  • Jannik Dreier, Ali Kassem, Pascal Lafourcade. Automated Verification of E-Cash Protocols. ICETE 2015 - 12th International Joint Conference on e-Business and Telecommunications, Jul 2015, Colmar, France. ⟨10.1007/978-3-319-30222-5_11⟩. ⟨hal-01840596⟩
  • 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. ⟨hal-01569756⟩
  • 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. ⟨10.5220/0005050901010112⟩. ⟨hal-01337413⟩
  • Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions without Cryptography. 7th International Conference on Fun with Algorithms - FUN 2014, Jul 2014, Lipari, Italy. pp.158-170, ⟨10.1007/978-3-319-07890-8_14⟩. ⟨hal-01337414⟩
  • 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. ⟨10.1007/978-3-319-25915-4_16⟩. ⟨hal-01337412⟩
  • 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. ⟨hal-00979732v2⟩
  • Ali Kassem, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Reputation Protocols. Foundations and Practice of Security - 7th International Symposium, FPS 2014, , Nov 2014, Montréal, Canada. ⟨hal-01759921⟩
  • Raphaël Jamet, Pascal Lafourcade. (In)Corruptibility of Routing Protocols. Foundations and Practice of Security - 7th International Symposium, FPS 2014, Nov 2014, Montréal, Canada. ⟨hal-01759919⟩
  • Ismail Mansour, Gerard Chalhoub, Pascal Lafourcade, François Delobel. Secure key renewal and revocation for Wireless Sensor Networks. IEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada. ⟨10.1109/LCN.2014.6925797⟩. ⟨hal-01759923⟩
  • Ismail Mansour, Gerard Chalhoub, Pascal Lafourcade. Secure Multihop Key Establishment Protocols for Wireless Sensor Networks. Cryptography and Security Systems - Third International Conference, CSS 2014, Lublin, Poland, Sep 2014, Lublin, Poland. ⟨hal-01759913⟩
  • 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⟩
  • Amrit Kumar, Pascal Lafourcade, Cédric Lauradoux. Performances of Cryptographic Accumulators. The 39th IEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada. ⟨hal-00999432⟩
  • Ismail Mansour, Damian Rusinek, Gerard Chalhoub, Pascal Lafourcade, Bogdan Ksiezopolski. Multihop Node Authentication Mechanisms for Wireless Sensor Networks ⋆. Ad-hoc, Mobile, and Wireless Networks - 13th International Conference, ADHOC-NOW 2014, Jun 2014, Benidorm, Spain. ⟨hal-01759853⟩
  • Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Defining Verifiability in e-Auction Protocols. 8th ACM Symposium on Information, Computer and Communications Security (AsiaCCS '13), ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩. ⟨hal-01337416⟩
  • Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade. Routage sécurisé et résilient pour réseaux de capteurs sans fil. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4. ⟨hal-00813387v3⟩
  • Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade. SR3: Secure Resilient Reputation-based Routing. 2013 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), May 2013, Cambridge, France. ⟨10.1109/DCOSS.2013.33⟩. ⟨hal-01759925⟩
  • Martin Gagné, Pascal Lafourcade, Yassine Lakhnech. Automated Security Proofs for Almost-Universal Hash for MAC Verification. Computer Security - 2013 - 18th European Symposium on Research in Computer Security,, Sep 2013, Egham, United Kingdom. ⟨hal-01759927⟩
  • Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Verifiability in e-Auction Protocols . 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy. ⟨hal-01338057⟩
  • Raphaël Jamet, Pascal Lafourcade. Discovering Flaws in IDS through Analysis of their Inputs. The Sixth International Symposium on Foundations and Practice of Security FPS’2013, 2013, La Rochelle, France. ⟨hal-01707722⟩
  • 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. ⟨10.1007/978-3-642-37075-5_4⟩. ⟨hal-01338002⟩
  • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Auction Protocols. International Conference on Principles of Security and Trust, POST 2013, Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-36830-1_13⟩. ⟨hal-01338020⟩
  • Ali Kassem, Pascal Lafourcade, Yassine Lakhnech. A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks: Corrected Version. Foundations and Practice of Security - 6th International Symposium, , Oct 2013, La Rochelle,, France. ⟨hal-01759222⟩
  • Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's Fully Private Auction Protocol Revisited. Africacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩. ⟨hal-00745247v3⟩
  • 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. ⟨10.1007/978-3-642-33167-1_26⟩. ⟨hal-01338037⟩
  • Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A Formal Taxonomy of Privacy in Voting Protocols. First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. ⟨10.1109/ICC.2012.6364938⟩. ⟨hal-01338064⟩
  • Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade. Analysis of Random Walks using Tabu Lists. Structural Information and Communication Complexity - 19th International SIROCCO'12, Jun 2012, Reykjavik, Iceland. ⟨hal-01759228⟩
  • Noudjoud Kahya, Nacira Ghoualmi, Pascal Lafourcade. Key Management Protocol in WIMAX Revisited. 3rd International Conference on Communications Security and Information Assurance CSIA, 2012, delhi, India. pp.853 - 862. ⟨hal-01964518⟩
  • 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. ⟨10.1007/978-3-642-27901-0_13⟩. ⟨hal-01338070⟩
  • Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini. Automated Verification of Block Cipher Modes of Operation, an Improved Method. Foundations and Practice of Security - 4th Canada-France FPS 2011, May 2011, Paris, France. ⟨hal-01759831⟩
  • 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. ⟨hal-00588086⟩
  • Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi. Benaloh's dense probabilistic encryption revisited. AFRICACRYPT'11 - 4th international conference on Progress in cryptology in Africa, Jul 2011, Dakar, Senegal. pp.348-362. ⟨hal-00769449⟩
  • Jeremie Tharaud, Sven Wohlgemuth, Isao Echizen, Noboru Sonehara, Günter Müller, et al.. Privacy by Data Provenance with Digital Watermarking - A Proof-of-Concept Implementation for Medical Services with Electronic Health Records. 2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP), Oct 2010, Darmstadt, Germany. ⟨10.1109/IIHMSP.2010.130⟩. ⟨hal-01759931⟩
  • Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier. Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties. Formal Aspects in Security and Trust, 2009, Eindhoven, Netherlands. ⟨hal-01701443⟩
  • Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini. Automated Security Proof for Symmetric Encryption Modes. Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference,, Dec 2009, Séoul, South Korea. ⟨hal-01759935⟩
  • Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Model. the 15th ACM conference, Oct 2008, Alexandria, France. ⟨10.1145/1455770.1455817⟩. ⟨hal-01759943⟩
  • Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen. Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. Automata, Languages and Programming, 33rd International Colloquium, , Jul 2006, Venise, Italy. ⟨hal-01759947⟩
  • Pascal Lafourcade, Denis Lugiez, Ralf Treinen. Intruder Deduction for AC-like Equational Theories with Homomorphisms. Term Rewriting and Applications, 16th International Conference, RTA'05, Apr 2005, Nara, Japan. ⟨hal-01759946⟩

Books5 documents

Book sections3 documents

  • Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel. LocalPKI: An Interoperable and IoT Friendly PKI. E-Business and Telecommunications, 990, pp.224-252, 2019, Communications in Computer and Information Science. ICETE 2017, ⟨10.1007/978-3-030-11039-0_11⟩. ⟨hal-01963269⟩
  • J Courant, M Daubignard, C Ene, Pascal Lafourcade, Y Lakhnech. Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, 2010. ⟨hal-01759951⟩
  • Cas Cremers, Pascal Lafourcade, Philippe Nadeau. Comparing State Spaces in Automatic Security Protocol Analysis. Published by Véronique Cortier and Claude Kirchner and Mitsuhiro Okada and Hideki Sakurada. Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration , 2009. ⟨hal-01759940⟩

Directions of work or 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⟩

Preprints, Working Papers, ...3 documents

  • Sreekanth Malladi, Pascal Lafourcade. How to prevent type-flaw attacks on security protocols under algebraic properties. 2018. ⟨hal-01707737⟩
  • Ariane Tichit, Pascal Lafourcade, Vincent Mazenod. Les monnaies virtuelles décentralisées sont-elles des outils d’avenir ?. 2017. ⟨halshs-01467329⟩
  • Elliott Blot, Jannik Dreier, Pascal Lafourcade. Formal Analysis of Combinations of Secure Protocols . 2017. ⟨hal-01558552v5⟩

Reports7 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, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Auction Protocols. [Technical Report] TR-2012-17, VERIMAG. 2012. ⟨hal-01338031⟩
  • 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. A formal taxonomy of privacy in voting protocols. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011. ⟨hal-01338067⟩
  • 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⟩

Theses1 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⟩

Habilitation à diriger des recherches1 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⟩