| 2026 | FUN | Card-Based ZKP Protocols for Connectivity-Based Puzzles: Extending to Tree Structures with Application to Nurimeizu. | Daiki Miyahara, Pascal Lafourcade, Maxime Puys |
| 2025 | AsiaCCS | Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability. | Ayoub Ben Hassen, Pascal Lafourcade, Dhekra Mahmoud, Maxime Puys |
| 2025 | ESORICS | HENDRICS: A Hardware-in-the-Loop Testbed for Enhanced Intrusion Detection, Response and Recovery of Industrial Control Systems. | Lalie Arnoud, Zo Lagache, Pierre-Henri Thevenon, Alos Champenois, Victor Breux, Maxime Puys, ric Gaussier, Oum-El-Kheir Aktouf |
| 2025 | SOFTCOM | Evaluation of Machine Learning Intrusion Detection Systems Resiliency to Network Traffic Evolution. | Florent Durcu, Maxime Puys, Grard Chalhoub, Paul-Marie Grollemund |
| 2021 | DSD | MaDMAN: Detection of Software Attacks Targeting Hardware Vulnerabilities. | Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle |
| 2019 | IWSEC | Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. | Jean-Guillaume Dumas, Pascal Lafourcade, Julio Lpez Fenner, David Lucas, Jean-Baptiste Orfila, Clment Pernet, Maxime Puys |
| 2017 | SECRYPT | Formally Verifying Flow Properties in Industrial Systems. | Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch |
| 2016 | CRITIS | Domain Specific Stateful Filtering with Worst-Case Bandwidth. | Maxime Puys, Jean-Louis Roch, Marie-Laure Potet |
| 2016 | SAFECOMP | Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. | Maxime Puys, Marie-Laure Potet, Pascal Lafourcade |
| 2016 | SECRYPT | Private Multi-party Matrix Multiplication and Trust Computations. | Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys |
| 2014 | ESORICS | High-Level Simulation for Multiple Fault Injection Evaluation. | Maxime Puys, Lionel Rivire, Julien Bringer, Thanh-Ha Le |
| 2014 | ICST | Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. | Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil |