@phdthesis{phdThesisMaximePuys,
  author    = {Puys, Maxime},
  title     = {Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques},
  school    = {Communauté Université Grenoble-Alpes},
  year      = {2018},
  month     = {Feb.},
  url       = {https://theses.hal.science/tel-01893142},
  slides    = {https://maxime.puys.name/pdf/publications/phdThesis/slidesPhdThesisMaximePuys.pdf},
}

@mastersthesis{masterThesisMaximePuys,
  author    = {Puys, Maxime},
  title     = {Sécurité des cartes à puce, simulation d'attaques par fautes et analyses statiques},
  school    = {Communauté Université Grenoble-Alpes},
  year      = {2014},
  month     = {Jul.},
  note      = {Confidential industry},
}

@article{DaSilva2025,
  author    = {Da Silva, Mike and
               Mocanu, Stéphane and
               Puys, Maxime and
               Thevenon, Pierre-Henri},
  title     = {Safety-Security Convergence: Automation of IEC 62443-3-2},
  journal   = {Computers \& Security, Elsevier},
  volume    = {156},
  pages     = {104477},
  year      = {2025},
  url       = {https://hal.science/hal-05032416v1},
  ranking   = {Sciamago},
  rank      = {Q1},
}

@article{Thevenon2022,
  author    = {Thevenon, Pierre-Henri and
               Riou, Sebastien and
               Tran, Duc-Minh and
               Puys, Maxime and
               Polychronou, Nikolaos Foivos and
               El Majihi, Mustapha and
               Sivelle, Camille}, 
  title     = {{iMRC:} Integrated Monitoring \& Recovery Component, a Solution
               to Guarantee the Security of Embedded Systems}, 
  journal   = {Journal of Internet Services and Information Security (JISIS)}, 
  volume    = {13},
  number    = {1},
  pages     = {4-32},
  year      = {2022}, 
  url       = {https://hal.science/cea-04072866v1},
  ranking   = {Sciamago},
  rank      = {Q3},
}

@article{Puys2022a,
  author    = {Puys, Maxime and
               Thevenon, Pierre-Henri and
               Mocanu, Stéphane Mocanu and
               Gallissot, Mathieu and
               Sivelle, Camille}, 
  title     = {{SCADA} Cybersecurity Awareness and Teaching with
               Hardware-In-The-Loop Platforms}, 
  journal   = {Journal of Wireless Mobile Networks, Ubiquitous Computing, and
               Dependable Applications (JoWUA)}, 
  volume    = {13},
  number    = {1},
  pages     = {4-32},
  year      = {2022}, 
  url       = {https://hal.science/hal-03636896v1},
  ranking   = {Sciamago},
  rank      = {Q2},
}

@article{Polychronou2021a,
  author    = {Polychronou, Nikolaos-Foivos and Thevenon, Pierre-Henri and
               Puys, Maxime and Beroulle, Vincent},
  title     = {A Comprehensive Survey of Attacks without Physical Access
               Targeting Hardware Vulnerabilities in {IoT/IIoT} Devices, and
               Their Detection Mechanisms},
  journal   = {ACM Transactions on Design Automation of Electronic Systems},
  volume    = {27},
  number    = {1},
  pages     = {1-35},
  year      = {2021},
  url       = {https://hal.science/hal-03600586v1},
  ranking   = {Sciamago},
  rank      = {Q2},
}

@article{Dreier2019,
  author    = {Dreier, Jannik and
               Puys, Maxime and
               Potet, Marie-Laure and
               Lafourcade, Pascal and
               Roch, Jean-Louis},
  title     = {Formally and practically verifying flow properties in industrial
               systems},
  journal   = {Computers \& Security, Elsevier},
  volume    = {86},
  number    = {1},
  pages     = {453-470},
  year      = {2019},
  url       = {https://hal.science/hal-01959766v2},
  ranking   = {Sciamago},
  rank      = {Q1},
}

@article{Dumas2017,
  author    = {Dumas, Jean-Guillaume and
               Lafourcade, Pascal and
               Orfila, Jean-Baptiste and
               Puys, Maxime},
  title     = {Dual protocols for private multi-party matrix multiplication and
               trust computations},
  journal   = {Computers \& Security, Elsevier},
  volume    = {71},
  number    = {1},
  pages     = {51-70},
  year      = {2017},
  url       = {https://hal.science/hal-01497866v1},
  ranking   = {Sciamago},
  rank      = {Q1},
}

@inproceedings{Lagache2025,
  title     = {Dissecting Mirai: Spatio-Sequential Analysis and Restoration Strategies using MITRE ATT&CK and D3FEND},
  author    = {Lagache, Zoé and Thevenon, Pierre-Henri and Puys, Maxime and
               Aktouf, {Oum-El-Kheir}},
  booktitle = {To appear in: 30th Nordic Conference on Secure IT Systems (NordSec 2025)},
  address   = {Tartu, Estonia},
  year      = {2025},
  ranking   = {ERA},
  rank      = {C},
  url       = {https://hal.science/hal-05325191v1}
}

@inproceedings{Arnoud2025,
  title     = {HENDRICS: A Hardware-in-the-Loop Testbed for Enhanced Intrusion
               Detection, Response and Recovery of Industrial Control Systems},
  author    = {Arnoud, Lalie and Lagache, Zoé and Thevenon, Pierre-Henri and
               Champenois, Aloïs and Breux, Victor and Puys, Maxime and Gaussier,
               Eric and Aktouf, {Oum-El-Kheir}},
  booktitle = {30th European Symposium on Research in Computer
               Security (ESORICS 2025) - Workshop on Assessment
               with New methodologies, Unified Benchmarks, and environments, of
               Intrusion detection and response Systems (ANUBIS 2025)},
  address   = {Toulouse, France},
  year      = {2025},
  url       = {https://hal.science/hal-05325191v1}
}

@inproceedings{Durecu2025,
  title     = {Evaluation of Machine Learning Intrusion Detection Systems
               Resiliency to Network Traffic Evolution},
  author    = {Duręcu, Florent and Puys, Maxime and Chalhoub,
               Gérard and Grollemund, Paul-Marie},
  booktitle = {33rd International Conference on Software, Telecommunications,
               and Computer Networks (SoftCOM 2025)},
  address   = {Split, Croatia},
  year      = {2025},
  ranking   = {Core},
  rank      = {B},
  url       = {https://hal.science/hal-05191179v1}
}

@inproceedings{BenHassen2025,
  title     = {Formal Analysis of SDNsec: Attacks and Corrections for Payload,
               Route Integrity and Accountability},
  author    = {Ben Hassen, Ayoub and Lafourcade, Pascal and Mahmoud, Dhekra and
               Puys, Maxime},
  booktitle = {20th ACM ASIA Conference on Computer and
               Communications Security (ACM ASIACCS 2025)},
  address   = {Hanoi, Vietnam},
  year      = {2025},
  ranking   = {Core},
  rank      = {A},
  url       = {https://hal.science/hal-04998270v1}
}

@inproceedings{Kaneko2024b,
  title     = {Secure Voting Protocol Using Balance Scale},
  author    = {Kaneko, Shohei and Lafourcade, Pascal and Mallordy, Lola-Baie and Miyahara, Daiki and Puys, Maxime and Sakiyama, Kazuo},
  booktitle = {17th International Symposium on Foundations and Practice of Security (FPS 2024)},
  address   = {Montreal, Canada},
  year      = {2024},
  url       = {https://hal.science/hal-04831163v1}
}

@inproceedings{Kaneko2024a,
  title     = {Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles},
  author    = {Kaneko, Shohei and Lafourcade, Pascal and Mallordy, Lola-Baie and Miyahara, Daiki and Puys, Maxime and Sakiyama, Kazuo},
  booktitle = {27th Information Security Conference (ISC 2024)},
  address   = {Washington DC, United States},
  year      = {2024},
  url       = {https://hal.science/hal-04671562v2}
}

@inproceedings{DaSilva2023b,
  title     = {PLC Logic-Based Cybersecurity Risks Identification for ICS},
  author    = {Da Silva, Mike and Puys, Maxime and Thevenon, Pierre-Henri and
               Mocanu, Stéphane},
  booktitle = {18th International Conference on Availability, Reliability
               and Security ({ARES} 2023) - Workshop on
               Cybersecurity in Industry 4.0 ({SecIndustry} 2023)},
  address   = {Benevento, Italy},
  year      = {2023},
  url       = {https://hal.science/hal-04165414v1},
}

@inproceedings{DaSilva2023a,
  author    = {Da Silva, Mike and Puys, Maxime and Thevenon, Pierre-Henri and
               Mocanu, Stéphane and Nkawa, Nelson},
  title     = {Automated ICS template for STRIDE Microsoft Threat Modeling
               Tool},
  booktitle = {18th International Conference on Availability, Reliability
               and Security ({ARES} 2023) - Workshop on
               Cybersecurity in Industry 4.0 ({SecIndustry} 2023)},
  address   = {Benevento, Italy},
  year      = {2023},
  url       = {https://hal.science/hal-04165419v1},
}

@inproceedings{Polychronou2023,
  author    = {Polychronou, Nikolaos Foivos and Thevenon, Pierre-Henri
               and Puys, Maxime and Beroulle, Vincent},
  title     = {A Hybrid Solution for Constraint Devices to Detect
               Microarchitectural Attacks},
  booktitle = {8th IEEE European Symposium on Security and Privacy (EuroS\&P 2023)
               - Workshop on Security of Software/Hardware Interfaces (SILM 2023)},
  address   = {Delft, Netherlands},
  year      = {2023},
  url       = {https://hal.science/hal-04149021v1},
}

@inproceedings{Sivelle2022,
  author    = {Sivelle, Camille and Debbah, Lorys and Puys, Maxime and Lafourcade,
               Pascal and Franco-Rondisson, Thibault},
  title     = {Automatic Implementations Synthesis of Secure Protocols and
               Attacks from Abstract Models},
  booktitle = {27th Nordic Conference on Secure IT Systems (NordSec 2022)},
  address   = {Reykjavik, Iceland},
  year      = {2022},
  ranking   = {ERA},
  rank      = {C},
  url       = {https://hal.science/hal-03835049v1},
}

@inproceedings{Polychronou2021c,
  author    = {Polychronou, Nikolaos Foivos and Thevenon, Pierre-Henri and
               Puys, Maxime and Beroulle, Vincent},
  title     = {Securing {IoT}/{IIoT} from Software Attacks Targeting Hardware
               Vulnerabilities},
  booktitle = {19th {IEEE} International New Circuits and Systems
               Conference ({NEWCAS} 2021)},
  address   = {Toulon, France},
  pages     = {1--4},
  year      = {2021},
  ranking   = {Qualis},
  rank      = {B4},
  url       = {https://hal.science/hal-03601214v1},
}

@inproceedings{Polychronou2021b,
  author    = {Polychronou, Nikolaos Foivos and Thevenon, Pierre-Henri
               and Puys, Maxime and Beroulle, Vincent},
  title     = {{MaDMAN}: Detection of Software Attacks Targeting Hardware Vulnerabilities},
  booktitle = {24th IEEE Euromicro Conference on Digital System Design (DSD 2021)},
  address   = {Palermo, Italy},
  pages     = {355-362},
  year      = {2021},
  ranking   = {Qualis},
  rank      = {B1},
  url       = {https://hal.science/hal-03601312v1},
}

@inproceedings{Puys2021,
  author    = {Puys, Maxime and Thevenon, Pierre-Henri and Mocanu, St\'{e}phane},
  title     = {Hardware-In-The-Loop Labs for SCADA Cybersecurity Awareness and Training},
  booktitle = {16th International Conference on Availability, Reliability
               and Security ({ARES 2021}) - Workshop on Education,
               Training and Awareness in Cybersecurity ({ETACS} 2021)},
  address   = {Vienna, Austria},
  pages     = {1--10},
  year      = {2021},
  url       = {https://hal.science/hal-03282601v1},
}

@inproceedings{Puys2020,
  author    = {Puys, Maxime and Krimm, Jean-Pierre and Collado, Raphaël},
  title     = {Towards Cybersecurity Act: A Survey on IoT Evaluation Frameworks},
  booktitle = {14th International Conference on Emerging Security Information,
               Systems and Technologies ({SECURWARE} 2020)},
  address   = {Valencia, Spain},
  pages     = {69--74},
  year      = {2020},
  ranking   = {Qualis},
  rank      = {B3},
  url       = {https://hal.science/cea-03019512v1},
}

@inproceedings{Dumas2019,
  author    = {Dumas, Jean-Guillaume and
               Lafourcade, Pascal and
               López Fenner, Julio and
               Lucas, David and
               Orfila, Jean-Baptiste and
               Pernet, Clément and
               Puys, Maxime},
  title     = {Secure Multiparty Matrix Multiplication Based on Strassen-Winograd
                 Algorithm},
  booktitle = {14th International Workshop on Security, ({IWSEC} 2019)},
  address   = {Tokyo, Japan},
  pages     = {67--88},
  year      = {2019},
  ranking   = {Core},
  rank      = {B},
  url       = {https://hal.science/hal-01781554v3},
}

@InProceedings{Badrignans2017,
  author    = {Badrignans, Benoit and
               Danjean, Vincent and
               Dumas, Jean-Guillaume and
               Elbaz-Vincent, Philippe and
               Machenaud, Sabine and
               Orfila, Jean-Baptiste and
               Pebay-Peyroula, Florian and
               Pebay-Peyroula, François and
               Potet, Marie-Laure and
               Puys, Maxime and
               Richier, Jean-Luc and
               Jean-Louis, Roch},
  title     = {Security Architecture for Embedded Point-to-Points Splitting Protocols},
  booktitle = {IEEE World Congress on Industrial Control Systems Security (WCICSS 2017)},
  address   = {Churchil College, University of Cambridge, UK},
  year      = {2017},
  url       = {https://hal.science/hal-01657605v1}
}

@inproceedings{Puys2017,
  author    = {Puys, Maxime and
               Potet, Marie-Laure and
               Khaled, Abdelaziz},
  title     = {Generation of Applicative Attacks Scenarios Against Industrial Systems},
  booktitle = {10th International Symposium on Foundations and Practice of Security
               ({FPS} 2017)},
  address   = {Nancy, France},
  pages     = {127--143},
  year      = {2017},
  url       = {https://hal.science/hal-01615534v1}
}

@inproceedings{Dreier2017,
  author    = {Dreier, Jannik and
               Puys, Maxime and
               Potet, Marie-Laure and
               Lafourcade, Pascal and
               Roch, Jean-Louis},
  title     = {Formally Verifying Flow Integrity Properties in Industrial Systems},
  booktitle = {14th International Joint Conference on e-Business
               and Telecommunications ({ICETE} 2017) - Volume 4: SECRYPT},
  address   = {Madrid, Spain},
  pages     = {55--66},
  year      = {2017},
  note      = {Best Student Paper Award},
  ranking   = {Core},
  rank      = {B},
  url       = {https://hal.science/hal-01527913v1},
}

@inproceedings{Puys2016b,
  author    = {Puys, Maxime and
               Roch, Jean-Louis and
               Potet, Marie-Laure},
  title     = {Domain Specific Stateful Filtering with Worst-Case Bandwidth},
  booktitle = {11th International Conference on Critical Information
               Infrastructures Security ({CRITIS} 2016)},
  address   = {Paris, France},
  pages     = {321--327},
  year      = {2016},
  ranking   = {Core},
  rank      = {C},
  url       = {https://hal.science/hal-01393829v1},
}

@inproceedings{Puys2016a,
  author    = {Puys, Maxime and
               Potet, Marie-Laure and
               Lafourcade, Pascal},
  title     = {Formal Analysis of Security Properties on the {OPC-UA} {SCADA} Protocol},
  booktitle = {35th International Conference on Computer Safety, Reliability, and Security
               ({SAFECOMP} 2016)},
  address   = {Trondheim, Norway},
  pages     = {67--75},
  year      = {2016},
  ranking   = {Core},
  rank      = {B},
  url       = {https://hal.science/hal-01366059v1},
}

@inproceedings{Dumas2016,
  author    = {Dumas, Jean-Guillaume and
               Lafourcade, Pascal and
               Orfila, Jean-Baptiste and
               Puys, Maxime},
  title     = {Private Multi-party Matrix Multiplication and Trust Computations},
  booktitle = {13th International Joint Conference on e-Business
               and Telecommunications ({ICETE} 2016) - Volume 4: SECRYPT},
  adderss   = {Lisbon, Portugal},
  pages     = {61--72},
  year      = {2016},
  note      = {Best Paper Award},
  ranking   = {Core},
  rank      = {B},
  url       = {https://hal.science/hal-01344750v2},
}

@inproceedings{Lafourcade2015,
  author    = {Lafourcade, Pascal and
               Puys, Maxime},
  title     = {Performance Evaluations of Cryptographic Protocols Verification Tools
               Dealing with Algebraic Properties},
  booktitle = {8th International Symposium on Foundations and Practice of Security 
               ({FPS} 2015)},
  address   = {Clermont-Ferrand, France},
  pages     = {137--155},
  year      = {2015},
  url       = {https://hal.science/hal-01306395v1},
}

@inproceedings{Riviere2014,
  author    = {Rivière, Lionel and
               Potet, Marie-Laure and
               Le, Thanh-Ha and
               Bringer, Julien and
               Chabanne, Hervé and
               Puys, Maxime},
  title     = {Combining High-Level and Low-Level Approaches to Evaluate Software
               Implementations Robustness Against Multiple Fault Injection Attacks},
  booktitle = {7th International Symposium on Foundations and Practice of Security 
               ({FPS} 2014)},
  address   = {Montreal, QC, Canada},
  pages     = {92--111},
  year      = {2014},
  url       = {https://hal.science/hal-01229261v1},
}

@inproceedings{Puys2014,
  author    = {Puys, Maxime and
               Rivière, Lionel and
               Bringer, Julien and
               Le, Thanh-Ha},
  title     = {High-Level Simulation for Multiple Fault Injection Evaluation},
  booktitle = {19th European Symposium on Research in Computer Security
               (ESORICS 2014) - 3rd International Workshop on Quantitative
               Aspects in Security Assurance (QASA 2014)},
  address   = {Wroclaw, Poland},
  pages     = {293--308},
  year      = {2014},
  url       = {https://hal.science/hal-01229279v1},
}

@inproceedings{Potet2014a,
  author    = {Potet, Marie{-}Laure and
               Mounier, Laurent and
               Puys, Maxime and
               Dureuil, Louis},
  title     = {Lazart: {A} Symbolic Approach for Evaluation the Robustness of
               Secured Codes against Control Flow Injections},
  booktitle = {7th {IEEE} International Conference on Software Testing, Verification
               and Validation ({ICST} 2014)},
  address   = {Cleveland, Ohio, {USA}},
  pages     = {213--222},
  year      = {2014},
  ranking   = {Core},
  rank      = {A},
  url       = {https://hal.science/hal-01229274v1},
}

@inproceedings{LTPA23,
  author    = {Lagache, Zo{\'e} and
               Thevenon, Pierre-Henri and
               Puys, Maxime and
               Aktouf, {Oum-El-Kheir}},
  title     = {Convergence sûreté-sécurité des Systèmes de Contrôle Industriel},
  booktitle = {Rendez-Vous de la Recherche et de l'Enseignement de la
               Sécurité des Systèmes d'Information (RESSI 2023)},
  address   = {Neuvy-sur-Barangeon, France},
  year      = {2023},
  url       = {https://hal.science/hal-05124436v1}
}

@inproceedings{DTPM23,
  author    = {Da Silva, Mike and
               Thevenon, Pierre-Henri and
               Puys, Maxime and
               Mocanu, Stéphane},
  title     = {Convergence sûreté-sécurité des Systèmes de Contrôle Industriel},
  booktitle = {Rendez-Vous de la Recherche et de l'Enseignement de la
               Sécurité des Systèmes d'Information (RESSI 2023)},
  address   = {Neuvy-sur-Barangeon, France},
  year      = {2023},
  url       = {https://hal.science/hal-05124406v1}
}

@inproceedings{Puys2022b,
  author    = {Puys, Maxime and
               Thevenon, Pierre-Henri},
  title     = {{PULSE} - Cybersécurité des systèmes industriels},
  booktitle = {Rendez-Vous de la Recherche et de l'Enseignement de la
               Sécurité des Systèmes d'Information (RESSI 2022)},
  address   = {Chambon-sur-Lac, France},
  year      = {2022},
  url       = {https://hal.science/hal-05124147v1}
}

@inproceedings{Gallissot2020,
  author    = {Gallissot, Mathieu and Puys, Maxime and Thevenon, Pierre-Henri},
  title     = {Wonder-Cloud, une plateforme pour l’analyse et l'émulation
               de micrologiciels ainsi que la composition de pots de miels},
  booktitle = {C\&esar 2020 - Deceptive Security},
  address   = {Rennes, France},
  pages     = {1--8},
  year      = {2020},
  url       = {https://hal.science/hal-05124010v1}
}

@inproceedings{Mocanu2019,
  author    = {Mocanu, Stéphane and
               Puys, Maxime and
               Thevenon, Pierre-Henri},
  title     = {An Open-Source Hardware-In-The-Loop Virtualization System for
               Cybersecurity Studies of SCADA Systems},
  booktitle = {C\&esar 2019 - Virtualization and Cybersecurity},
  address   = {Rennes, France},
  pages     = {1-16},
  year      = {2019},
  url       = {https://hal.science/hal-02371133v1}
}

@inproceedings{Puys2019,
  author    = {Puys, Maxime and
               Thevenon, Pierre-Henri},
  title     = {Les défis posés par la sécurisation de l'IoT industriel},
  booktitle = {Rendez-Vous de la Recherche et de l'Enseignement de la
               Sécurité des Systèmes d'Information (RESSI 2019)},
  address   = {Erquy, France},
  year      = {2019},
  url       = {https://hal.science/hal-05123957v1}
}

@inproceedings{Puys2016d,
  author    = {Puys, Maxime and
               Potet, Marie-Laure and
               Roch, Jean-Louis},
  title     = {Filtrage et vérification de flux métiers dans les
               systèmes industriels},
  booktitle = {Rendez-Vous de la Recherche et de l'Enseignement de la
               Sécurité des Systèmes d'Information (RESSI 2016)},
  address   = {Toulouse, France},
  year      = {2016},
  url       = {https://hal.science/hal-01316590v1}
}

@inproceedings{Puys2016c,
  author    = {Puys, Maxime and
               Potet, Marie-Laure and
               Roch, Jean-Louis},
  title     = {Génération systèmatique de scénarios d'attaques
               contre des systémes industriels},
  booktitle = {Approches Formelles dans l'Assistance au Développement de
               Logiciels (AFADL 2016)},
  address   = {Besançon, France},
  year      = {2016},
  url       = {https://hal.science/hal-01330949v1}
}

@inproceedings{Potet2014c,
  author    = {Potet, Marie-Laure and
               Mounier, Laurent and
               Puys, Maxime and
               Dureuil, Louis},
  title     = {Lazart: A Symbolic Approach for Evaluation the Robustness of
               Secured Codes against Control Flow Injections},
  booktitle = {Approches Formelles dans l'Assistance au Développement de
               Logiciels (AFADL 2014)},
  address   = {Paris, France},
  year      = {2014},
  url       = {https://hal.science/hal-01229274v1},
}

@inproceedings{Potet2014b,
  author    = {Potet, Marie-Laure and
               Mounier, Laurent and
               Puys, Maxime and
               Dureuil, Louis},
  title     = {Lazart: A Symbolic Approach for Evaluation the Robustness of
               Secured Codes against Control Flow Injections},
  booktitle = {Approches Formelles dans l'Assistance au Développement de
               Logiciels (AFADL 2014)},
  address   = {Paris, France},
  year      = {2014},
  url       = {https://hal.science/hal-01229274v1},
}

@misc{dasilva2024method,
  title        = {Method and device for identifying risks of cyberattacks},
  author       = {Da Silva, Mike and Thevenon, Pierre-Henri and Puys, Maxime and Mocanu, St{\'e}phane},
  year         = {2024},
  month        = {Jun},
  howpublished = {US Patent App. 18/534,970},
}

@misc{polychronou2023system,
  title        = {System for detecting malwares in a resources constrained device},
  author       = {Polychronou, Nikolaos and Thevenon, Pierre-Henri and Puys, Maxime and Beroulle, Vincent},
  year         = {2023},
  month        = {Aug},
  howpublished = {US Patent App. 18/109,815}
}

@article{LaMontagne24,
  author       = {Senzier, Thierry},
  title        = {La cybersécurité, un vrai sujet de recherche pour le laboratoire Limos, dans le Puy-de-Dôme},
  journal      = {Journal La Montagne, édition du 26 septembre},
  year         = {2024},
  url          = {https://www.lamontagne.fr/clermont-ferrand-63000/actualites/la-cybersecurite-un-vrai-sujet-de-recherche-pour-le-laboratoire-limos-dans-le-puy-de-dome_14568731/},
}

@incollection{Moran0PW23,
  author       = {Moran, Murat and
                  Lafourcade, Pascal and
                  Puys, Maxime and
                  Williams, David},
  editor       = {Akleylek, Sedat and
                  Dundua, Besik},
  title        = {An Introduction to Tools for Formal Analysis of Cryptographic Protocols},
  booktitle    = {Handbook of Formal Analysis and Verification in Cryptography},
  pages        = {105--152},
  publisher    = {{CRC} Press},
  year         = {2023},
  url          = {https://doi.org/10.1201/9781003090052-3},
  doi          = {10.1201/9781003090052-3},
  timestamp    = {Mon, 25 Sep 2023 12:20:32 +0200},
  biburl       = {https://dblp.org/rec/books/crc/23/Moran0PW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org},
}