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

@article{DMPT25,
  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 (Rank Sciamago Q1)},
  volume = {156},
  pages = {104477},
  year = {2025},
  url = {https://hal.science/hal-05032416v1},
  ranking = {Sciamago},
  rank = {Q1}
}

@article{TRDPPES22,
  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)
               (Rank Scimago Q3)},
  volume = {13},
  number = {1},
  pages = {4--32},
  year = {2022},
  url = {https://hal.science/cea-04072866v1},
  ranking = {Sciamago},
  rank = {Q3}
}

@article{PTMGS22,
  author = {Puys, Maxime and
               Thevenon, Pierre-Henri and
               Mocanu, St\'{e}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) (Rank Scimago Q2)},
  volume = {13},
  number = {1},
  pages = {4--32},
  year = {2022},
  url = {https://hal.science/hal-03636896v1},
  ranking = {Sciamago},
  rank = {Q2}
}

@article{PTPB21a,
  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
               (Rank Sciamago Q2)},
  volume = {27},
  number = {1},
  pages = {1--35},
  year = {2021},
  url = {https://hal.science/hal-03600586v1},
  ranking = {Sciamago},
  rank = {Q2}
}

@article{DPPLR19,
  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 (Rank Sciamago Q1)},
  volume = {86},
  number = {1},
  pages = {453--470},
  year = {2019},
  url = {https://hal.science/hal-01959766v2},
  ranking = {Sciamago},
  rank = {Q1}
}

@article{DLOP17,
  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 (Rank Sciamago Q1)},
  volume = {71},
  number = {1},
  pages = {51--70},
  year = {2017},
  url = {https://hal.science/hal-01497866v1},
  ranking = {Sciamago},
  rank = {Q1}
}

@inproceedings{BLMP25,
  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 = {To appear in: 20th ACM ASIA Conference on Computer and
               Communications Security (ACM ASIACCS 2025, Rank Core A)},
  address = {Hanoi, Vietnam},
  year = {2025},
  ranking = {Core},
  rank = {A},
  url = {https://hal.science/hal-04998270v1}
}

@inproceedings{KLMMPS24b,
  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 = {Foundations and Practice of Security - 17th International
               Symposium, FPS 2024, Montreal, Canada, December 9-11, 2024,
               Revised Selected Papers},
  address = {Montreal, Canada},
  year = {2024},
  url = {https://hal.science/hal-04831163v1}
}

@inproceedings{KLMMPS24a,
  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 = {Information Security Conference, Washington DC, United States, Oct 2024},
  year = {2024},
  url = {https://hal.science/hal-04671562v2}
}

@inproceedings{DPTM23,
  title = {PLC Logic-Based Cybersecurity Risks Identification for ICS},
  author = {Da Silva, Mike and Puys, Maxime and Thevenon, Pierre-Henri and
               Mocanu, St\'{e}phane},
  booktitle = {The 18th International Conference on Availability, Reliability
               and Security, {ARES} 2023 (Rank Core B) - Workshop on
               Cybersecurity in Industry 4.0 ({SecIndustry} 2023), Benevento,
               Italy, Aug. 29 – Sept. 1, 2023},
  year = {2023},
  url = {https://hal.science/hal-04165414v1},
  ranking = {Core},
  rank = {B}
}

@inproceedings{DPTMN23,
  title = {Automated ICS template for STRIDE Microsoft Threat Modeling
               Tool},
  author = {Da Silva, Mike and Puys, Maxime and Thevenon, Pierre-Henri and
               Mocanu, St\'{e}phane and Nkawa, Nelson},
  booktitle = {The 18th International Conference on Availability, Reliability
               and Security, {ARES} 2023 (Rank Core B) - Workshop on
               Cybersecurity in Industry 4.0 ({SecIndustry} 2023), Benevento,
               Italy, Aug. 29 – Sept. 1, 2023},
  year = {2023},
  url = {https://hal.science/hal-04165419v1},
  ranking = {Core},
  rank = {B}
}

@inproceedings{PTPB23,
  title = {A Hybrid Solution for Constraint Devices to Detect
               Microarchitectural Attacks},
  author = {Polychronou, Nikolaos Foivos and Thevenon, Pierre-Henri
               and Puys, Maxime and Beroulle, Vincent},
  booktitle = {IEEE European Symposium on Security and Privacy (EuroS\&P 2023)
               - Workshops, Delft, Netherlands, July 3-7, 2023},
  year = {2023},
  url = {https://hal.science/hal-04149021v1}
}

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

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

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

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

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

@inproceedings{DLFLPP19,
  author = {Dumas, Jean{-}Guillaume and
                 Lafourcade, Pascal and
                 L{\'{o}}pez Fenner, Julio and
                 Lucas, David and
                 Orfila, Jean{-}Baptiste and
                 Pernet, Cl{\'{e}}ment and
                 Puys, Maxime},
  title = {Secure Multiparty Matrix Multiplication Based on Strassen-Winograd
                 Algorithm},
  booktitle = {Advances in Information and Computer Security - 14th International
                 Workshop on Security, {IWSEC} 2019, Tokyo, Japan, August 28-30, 2019,
                 Proceedings (Rank Core B)},
  pages = {67--88},
  year = {2019},
  url = {https://hal.science/hal-01781554v3},
  ranking = {Core},
  rank = {B}
}

@inproceedings{BDDEOPPPRR17,
  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 = {{WCICSS 2017 - IEEE World Congress on Industrial Control Systems Security}},
  year = {2017},
  url = {https://hal.science/hal-01657605v1}
}

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

@inproceedings{DPPLR17,
  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 = {Proceedings of the 14th International Joint Conference on e-Business
               and Telecommunications {(ICETE)} 2017) - Volume 4: SECRYPT, Madrid,
               Spain, July 24-26, 2017 (Rank Core B)},
  pages = {55--66},
  year = {2017},
  note = {Best Student Paper Award},
  url = {https://hal.science/hal-01527913v1},
  ranking = {Core},
  rank = {B}
}

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

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

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

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

@inproceedings{RPLBCP14,
  author = {Rivi{\`{e}}re, Lionel and
               Potet, Marie{-}Laure and
               Le, Thanh{-}Ha and
               Bringer, Julien and
               Chabanne, Herv{\'{e}} and
               Puys, Maxime},
  title = {Combining High-Level and Low-Level Approaches to Evaluate Software
               Implementations Robustness Against Multiple Fault Injection Attacks},
  booktitle = {Foundations and Practice of Security - 7th International Symposium,
               {FPS} 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected
               Papers},
  pages = {92--111},
  year = {2014},
  url = {https://hal.science/hal-01229261v1}
}

@inproceedings{PRBL14,
  author = {Puys, Maxime and
               Rivi{\`{e}}re, Lionel and
               Bringer, Julien and
               Le, Thanh{-}Ha},
  title = {High-Level Simulation for Multiple Fault Injection Evaluation},
  booktitle = {Data Privacy Management, Autonomous Spontaneous Security, and Security
               Assurance - 9th International Workshop, {DPM} 2014, 7th International
               Workshop, {SETOP} 2014, and 3rd International Workshop, {QASA} 2014,
               Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers},
  pages = {293--308},
  year = {2014},
  url = {https://hal.science/hal-01229279v1}
}

@inproceedings{PMPD14,
  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 = {Seventh {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
               Ohio, {USA} (Core Rank A)},
  pages = {213--222},
  year = {2014},
  url = {https://hal.science/hal-01229274v1},
  ranking = {Core},
  rank = {A}
}

@inproceedings{PT22,
  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{\'e}curit{\'e} des Syst{\`e}mes d'Information, RESSI 2022,
               Chambon-sur-Lac, France}},
  year = {2022},
  url = {https://hal.science/hal-05124147v1}
}

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

@inproceedings{MPT19,
  author = {Mocanu, St{\'e}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, Rennes, France}},
  pages = {1-16},
  year = {2019},
  url = {https://hal.science/hal-02371133v1}
}

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

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

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

@inproceedings{PMPD14b,
  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 = {{1er Colloque sur la Confiance Num{\'e}rique en Auvergne,
               Clermont-Ferrand, France}},
  year = {2014},
  url = {https://hal.science/hal-01229274v1}
}

@inproceedings{PMPD14a,
  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{\'e}veloppement de
               Logiciels, AFADL 2014, 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},
  publisher = {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},
  publisher = {US Patent App. 18/109,815}
}