High-Level Simulation for Multiple Fault Injection Evaluation. - Maxime Puys; Lionel Rivière; Julien Bringer; Thanh-Ha Le (DPM/SETOP/QASA, 2014)

Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks. - Lionel Rivière; Marie-Laure Potet; Thanh-Ha Le; Julien Bringer; Hervé Chabanne; Maxime Puys (FPS, 2014)

Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. - Marie-Laure Potet; Laurent Mounier; Maxime Puys; Louis Dureuil (ICST, 2014)

Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties. - Pascal Lafourcade 001; Maxime Puys (FPS, 2015)

Domain Specific Stateful Filtering with Worst-Case Bandwidth. - Maxime Puys; Jean-Louis Roch; Marie-Laure Potet (CRITIS, 2016)

Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. - Maxime Puys; Marie-Laure Potet; Pascal Lafourcade 001 (SAFECOMP, 2016)

Private Multi-party Matrix Multiplication and Trust Computations. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Jean-Baptiste Orfila; Maxime Puys (SECRYPT, 2016)

Generation of Applicative Attacks Scenarios Against Industrial Systems. - Maxime Puys; Marie-Laure Potet; Abdelaziz Khaled (FPS, 2017)

Formally Verifying Flow Properties in Industrial Systems. - Jannik Dreier; Maxime Puys; Marie-Laure Potet; Pascal Lafourcade 001; Jean-Louis Roch (SECRYPT, 2017)

Dual protocols for private multi-party matrix multiplication and trust computations. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Jean-Baptiste Orfila; Maxime Puys (Comput. Secur., 2017)

Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques. (Cybersecurity of Industrial Systems : Applicative Filtering and Generation of Attack Scenarios). - Maxime Puys (2018)

Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Julio López Fenner; David Lucas 001; Jean-Baptiste Orfila; Clément Pernet; Maxime Puys (IWSEC, 2019)

Formally and practically verifying flow properties in industrial systems. - Jannik Dreier; Maxime Puys; Marie-Laure Potet; Pascal Lafourcade 001; Jean-Louis Roch (Comput. Secur., 2019)

Hardware-In-The-Loop Labs for SCADA Cybersecurity Awareness and Training. - Maxime Puys; Pierre-Henri Thevenon; Stéphane Mocanu (ARES, 2021)

MaDMAN: Detection of Software Attacks Targeting Hardware Vulnerabilities. - Nikolaos Foivos Polychronou; Pierre-Henri Thevenon; Maxime Puys; Vincent Beroulle (DSD, 2021)

Securing IoT/IIoT from Software Attacks Targeting Hardware Vulnerabilities. - Nikolaos Foivos Polychronou; Pierre-Henri Thevenon; Maxime Puys; Vincent Beroulle (NEWCAS, 2021)

Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. - Camille Sivelle; Lorys Debbah; Maxime Puys; Pascal Lafourcade 001; Thibault Franco-Rondisson (NordSec, 2022)

iMRC: Integrated Monitoring & Recovery Component, a Solution to Guarantee the Security of Embedded Systems. - Pierre-Henri Thevenon; Sébastien Riou; Duc-Minh Tran; Maxime Puys; Nikolaos Foivos Polychronou; Mustapha El-Majihi; Camille Sivelle (J. Internet Serv. Inf. Secur., 2022)

SCADA Cybersecurity Awareness and Teaching with Hardware-In-The-Loop Platforms. - Maxime Puys; Pierre-Henri Thevenon; Stéphane Mocanu; Mathieu Gallissot; Camille Sivelle (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2022)

A Comprehensive Survey of Attacks without Physical Access Targeting Hardware Vulnerabilities in IoT/IIoT Devices, and Their Detection Mechanisms. - Nikolaos Foivos Polychronou; Pierre-Henri Thevenon; Maxime Puys; Vincent Beroulle (ACM Trans. Design Autom. Electr. Syst., 2022)

An Introduction to Tools for Formal Analysis of Cryptographic Protocols. - Murat Moran; Pascal Lafourcade 001; Maxime Puys; David Williams (Handb. Formal Anal. Verification Cryptogr., 2023)

PLC Logic-Based Cybersecurity Risks Identification for ICS. - Mike Da Silva; Maxime Puys; Pierre-Henri Thevenon; Stéphane Mocanu (ARES, 2023)

Automated ICS template for STRIDE Microsoft Threat Modeling Tool. - Mike Da Silva; Maxime Puys; Pierre-Henri Thevenon; Stéphane Mocanu; Nelson Nkawa (ARES, 2023)

A Hybrid Solution for Constrained Devices to Detect Microarchitectural Attacks. - Nikolaos Foivos Polychronou; Pierre-Henri Thevenon; Maxime Puys; Vincent Beroulle (EuroS&P Workshops, 2023)

Secure Voting Protocol Using Balance Scale. - Shohei Kaneko; Pascal Lafourcade 001; Lola-Baie Mallordy; Daiki Miyahara; Maxime Puys; Kazuo Sakiyama (FPS (1), 2024)

Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles. - Shohei Kaneko; Pascal Lafourcade 001; Lola-Baie Mallordy; Daiki Miyahara; Maxime Puys; Kazuo Sakiyama (ISC (1), 2024)

Safety-security convergence: Automation of IEC 62443-3-2. - Mike Da Silva; Stéphane Mocanu; Maxime Puys; Pierre-Henri Thevenon (Comput. Secur., 2025)

Experiment artifacts for ASIACCS 2025 submission #175. - Ayoub Ben Hassen; Pascal Lafourcade 001; Dhekra Mahmoud; Maxime Puys (Zenodo, 2025)