Maxime Puys

Maitre de conférences à l'Université Clermont Auvergne
93%
Libre accès
43
Documents
Affiliation actuelle
  • Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS)
Identifiants chercheurs

Publications

Publications

Image document

Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability

Ayoub Ben Hassen , Dhekra Mahmoud , Pascal Lafourcade , Maxime Puys
20th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2025), Aug 2025, Hanoi, Vietnam
Communication dans un congrès hal-04998270 v1
Image document

Evaluation of Machine Learning Intrusion Detection Systems Resiliency to Network Traffic Evolution

Florent Durécu , Maxime Puys , Gérard Chalhoub , Paul-Marie Grollemund
33rd International Conference on Software, Telecommunications, and Computer Networks (SoftCOM 2025), Sep 2025, Split, Croatia, Croatia
Communication dans un congrès hal-05191179 v1
Image document

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 , Aloïs Champenois , Victor Breux et al.
30th European Symposium on Research in Computer Security (ESORICS 2025, Rank Core A), Workshop on Assessment with New methodologies, Unified Benchmarks, and environments, of Intrusion detection and response Systems (ANUBIS), Sep 2025, Toulouse, France
Communication dans un congrès hal-05325191 v1
Image document

Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles

Shohei Kaneko , Pascal Lafourcade , Lola-Baie Mallordy , Daiki Miyahara , Maxime Puys et al.
Information Security Conference, Oct 2024, Washington DC, United States
Communication dans un congrès hal-04671562 v2
Image document

Secure Voting Protocol Using Balance Scale

Shohei Kaneko , Pascal Lafourcade , Lola-Baie Mallordy , Daiki Miyahara , Maxime Puys et al.
17th International Symposium on Foundations & Practice of Security (FPS – 2024)., Dec 2024, Montreal, Canada
Communication dans un congrès hal-04831163 v1
Image document

Convergence sûreté-sécurité des Systèmes de Contrôle Industriel

Mike Da Silva , Pierre-Henri Thevenon , Stéphane Mocanu , Maxime Puys
RESSI 2024 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France
Communication dans un congrès hal-05124406 v1
Image document

A hybrid solution for constrained devices to detect microarchitectural attacks

Nikolaos-Foivos Polychronou , Pierre-Henri Thevenon , Maxime Puys , Vincent Beroulle
2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Jul 2023, Delft, Netherlands. pp.259-269, ⟨10.1109/EuroSPW59978.2023.00033⟩
Communication dans un congrès hal-04149021 v1
Image document

Study of autonomous response and recovery mechanisms for embedded systems

Zoé Lagache , Pierre-Henri Thevenon , Maxime Puys , Oum-El-Kheir Aktouf
Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, RESSI 2023, May 2023, Neuvy-sur-Barangeon, France
Communication dans un congrès hal-05124436 v1
Image document

Automatic implementations synthesis of secure protocols and attacks from abstract models

Camille Sivelle , Lorys Debbah , Maxime Puys , Pascal Lafourcade , Thibault Franco-Rondisson
Nordic Workshop on Secure IT Systems, 2022, Rekyavik, Iceland. pp.234-252, ⟨10.1007/978-3-031-22295-5_13⟩
Communication dans un congrès hal-03835049 v1
Image document

PLC Logic-Based Cybersecurity Risks Identification for ICS

Mike Da Silva , Maxime Puys , Pierre-Henri Thevenon , Stéphane Mocanu
ARES 2023 - 18th International Conference on Availability, Reliability and Security, Aug 2023, Benevento, Italy. pp.1-10, ⟨10.1145/3600160.3605067⟩
Communication dans un congrès hal-04165414 v1
Image document

Automated ICS template for STRIDE Microsoft Threat Modeling Tool

Mike Da Silva , Maxime Puys , Pierre-Henri Thevenon , Stéphane Mocanu , Nelson Nkawa
ARES 2023 - 18th International Conference on Availability, Reliability and Security, Aug 2023, Benevento, Italy. pp.1-7, ⟨10.1145/3600160.3605068⟩
Communication dans un congrès hal-04165419 v1

Research for a new solution for the detection of malwares in IoT/IIoT devices

Nikolaos Polychronou , Pierre-Henri Thevenon , Maxime Puys , Vincent Beroulle
Journée Code et Cryptographie 2022, Oct 2022, Toulouse, France
Communication dans un congrès cea-04072867 v1
Image document

PULSE -Cybersécurité des systèmes industriels

Maxime Puys , Pierre-Henri Thevenon
Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, RESSI 2022, LIMOS, May 2022, Chambon sur Lac, France
Communication dans un congrès hal-05124147 v1
Image document

Hardware-in-the-loop labs for SCADA cybersecurity awareness and training

Maxime Puys , Pierre-Henri Thevenon , Stéphane Mocanu
ARES 2021 - 16th International Conference on Availability, Reliability and Security - Workshop on Education, Training and Awareness in Cybersecurity (ETACS 2021), Aug 2021, Vienne, Austria. pp.147, ⟨10.1145/3465481.3469185⟩
Communication dans un congrès hal-03282601 v1
Image document

MaDMAN: Detection of Software Attacks Targeting Hardware Vulnerabilities

Nikolaos Foivos Polychronou , Pierre-Henri Thevenon , Maxime Puys , Vincent Beroulle
2021 24th Euromicro Conference on Digital System Design (DSD), Sep 2021, Palermo, France. pp.355-362, ⟨10.1109/DSD53832.2021.00060⟩
Communication dans un congrès hal-03601312 v1
Image document

Securing IoT/IIoT from Software Attacks Targeting Hardware Vulnerabilities

Nikolaos Foivos Polychronou , Pierre-Henri Thevenon , Vincent Beroulle , Nikolaos Polychronou , Maxime Puys
19th IEEE International New Circuits and Systems Conference (NEWCAS 2021), Jun 2021, Toulon, France. ⟨10.1109/NEWCAS50681.2021.9462776⟩
Communication dans un congrès hal-03601214 v1
Image document

Towards Cybersecurity Act: A Survey on IoT Evaluation Frameworks

Maxime Puys , Jean-Pierre Krimm , Raphaël Collado
SECURWARE 2020 - The Fourteenth International Conference on Emerging Security Information, Systems and Technologies, Nov 2020, Valence, Spain
Communication dans un congrès cea-03019512 v1
Image document

WonderCloud, une plateforme pour l'analyse et l'émulation de micrologiciels ainsi que la composition de pots de miels

Mathieu Gallissot , Maxime Puys , Pierre-Henri Thevenon
C&ESAR 2020 - Computer & Electronics Security Applications Rendez-vous, DGA, Dec 2020, Rennes, France
Communication dans un congrès hal-05124010 v1
Image document

An Open-Source Hardware-In-The-Loop Virtualization System for Cybersecurity Studies of SCADA Systems

Stéphane Mocanu , Maxime Puys , Pierre-Henri Thevenon
C&esar 2019 - Virtualization and Cybersecurity, Nov 2019, Rennes, France. pp.1-16
Communication dans un congrès hal-02371133 v1
Image document

Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm

Jean-Guillaume Dumas , Pascal Lafourcade , Julio Lopez Fenner , David Lucas , Jean-Baptiste Orfila et al.
The 14th International Workshop on Security (IWSEC 2019), Aug 2019, Tokyo, Japan. pp.67-88, ⟨10.1007/978-3-030-26834-3_5⟩
Communication dans un congrès hal-01781554 v3
Image document

Les défis posés par la sécurisation de l'IoT industriel

Maxime Puys , Pierre-Henri Thevenon
Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, RESSI 2019, May 2019, Erquy, France
Communication dans un congrès hal-05123957 v1
Image document

Security Architecture for Point-to-Point Splitting Protocols

Benoit Badrignans , Vincent Danjean , Jean-Guillaume Dumas , Philippe Elbaz-Vincent , Sabine Machenaud et al.
WCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom
Communication dans un congrès hal-01657605 v1
Image document

Formally Verifying Flow Properties in Industrial Systems

Jannik Dreier , Maxime Puys , Marie-Laure Potet , Pascal Lafourcade , Jean-Louis Roch
SECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩
Communication dans un congrès hal-01527913 v1
Image document

Generation of Applicative Attacks Scenarios Against Industrial Systems

Maxime Puys , Marie-Laure Potet , Abdelaziz Khaled
10th International Symposium on Foundations and Practice of Security, FPS 2017, Oct 2017, Nancy, France
Communication dans un congrès hal-01615534 v1
Image document

Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties

Pascal Lafourcade , Maxime Puys
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⟩
Communication dans un congrès hal-01306395 v1
Image document

Filtrage et vérification de flux métiers dans les systèmes industriels

Maxime Puys , Marie-Laure Potet , Jean-Louis Roch
Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2016), May 2016, Toulouse, France
Communication dans un congrès hal-01316590 v1
Image document

Génération systématique de scénarios d'attaques contre des systèmes industriels

Maxime Puys , Marie-Laure Potet , Jean-Louis Roch
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Communication dans un congrès hal-01330949 v1
Image document

Private Multi-party Matrix Multiplication and Trust Computations

Jean-Guillaume Dumas , Pascal Lafourcade , Jean-Baptiste Orfila , Maxime Puys
13th International Conference on Security and Cryptography SECRYPT 16, Jul 2016, Lisbon, Portugal. pp.61-72, ⟨10.5220/0005957200610072⟩
Communication dans un congrès hal-01344750 v2
Image document

Formal Analysis of Security Properties on the OPC-UA SCADA Protocol

Maxime Puys , Marie-Laure Potet , Pascal Lafourcade
35th International Conference, SAFECOMP 2016, Sep 2016, Trondheim, Norway. ⟨10.1007/978-3-319-45477-1_6⟩
Communication dans un congrès hal-01366059 v1
Image document

Domain Specific Stateful Filtering with Worst-Case Bandwidth

Maxime Puys , Jean-Louis Roch , Marie-Laure Potet
11th International Conference on Critical Information Infrastructures Security (CRITIS 2016), UIC, Oct 2016, Paris, France
Communication dans un congrès hal-01393829 v1
Image document

High-Level Simulation for Multiple Fault Injection Evaluation

Maxime Puys , Lionel Rivière , Julien Bringer , Thanh-Ha Le
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, Sep 2014, Wroclaw, Poland. ⟨10.1007/978-3-319-17016-9_19⟩
Communication dans un congrès hal-01229279 v1
Image document

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 et al.
Foundations and Practice of Security, Nov 2014, Montreal, Canada. ⟨10.1007/978-3-319-17040-4_7⟩
Communication dans un congrès hal-01229261 v1
Image document

Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections

Marie-Laure Potet , Laurent Mounier , Maxime Puys , Louis Dureuil
Seventh IEEE International Conference on Software Testing, Verification and Validation, Mar 2014, Cleveland, United States. ⟨10.1109/ICST.2014.34⟩
Communication dans un congrès hal-01229274 v1
Image document

Safety-Security Convergence: Automation of IEC 62443-3-2

Mike Da Silva , Stéphane Mocanu , Maxime Puys , Pierre-Henri Thevenon
Computers & Security, 2025, 156, pp.104477. ⟨10.1016/j.cose.2025.104477⟩
Article dans une revue (article de synthèse) hal-05032416 v1
Image document

iMRC: Integrated monitoring and recovery component, a solution to guarantee the security of embedded systems

Pierre-Henri Thevenon , Sébastien Riou , Duc-Minh Tran , Maxime Puys , Nikolaos Polychronou et al.
Journal of Internet Services and Information Security, 2022, 12 (2), pp.1-24. ⟨10.22667/JISIS.2022.05.31.070⟩
Article dans une revue cea-04072866 v1
Image document

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 Transactions on Design Automation of Electronic Systems, 2022, 27 (1), pp.1-35. ⟨10.1145/3471936⟩
Article dans une revue hal-03600586 v1
Image document

SCADA cybersecurity awareness and teaching with Hardware-In-The-Loop platforms

Maxime Puys , Pierre-Henri Thevenon , Stéphane Mocanu , Mathieu Gallissot , Camille Sivelle
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 2022, 13 (1), pp.4-32. ⟨10.22667/JOWUA.2022.03.31.004⟩
Article dans une revue hal-03636896 v1
Image document

Formally and Practically Verifying Flow Integrity Properties in Industrial Systems

Jannik Dreier , Maxime Puys , Marie-Laure Potet , Pascal Lafourcade , Jean-Louis Roch
Computers & Security, 2019, 86, pp.453-470. ⟨10.1016/j.cose.2018.09.018⟩
Article dans une revue hal-01959766 v2
Image document

Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations

Jean-Guillaume Dumas , Pascal Lafourcade , Jean-Baptiste Orfila , Maxime Puys
Computers & Security, 2017, 71, pp.51-70. ⟨10.1016/j.cose.2017.04.013⟩
Article dans une revue hal-01497866 v1