Maxime Puys

31 papers A 2B 4C 4Misc 2Journal 7Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Dissecting Mirai: Spatio-Sequential Analysis and Restoration Strategies Using MITRE ATT&CK and D3FEND.
NordSec
Zoé Lagache, Pierre-Henri Thevenon, Maxime Puys, Oum-El-Kheir Aktouf
2025 Misc conf
Evaluation of Machine Learning Intrusion Detection Systems Resiliency to Network Traffic Evolution.
SoftCOM
Florent Durécu, Maxime Puys, Gérard Chalhoub, Paul-Marie Grollemund
2025 A conf
Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability.
AsiaCCS
Ayoub Ben Hassen, Pascal Lafourcade, Dhekra Mahmoud, Maxime Puys
2025 J jnl
Safety-security convergence: Automation of IEC 62443-3-2.
Comput. Secur.
Mike Da Silva, Stéphane Mocanu, Maxime Puys, Pierre-Henri Thevenon
2024 — conf
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles.
ISC (1)
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
2024 — conf
Secure Voting Protocol Using Balance Scale.
FPS (1)
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
2023 — conf
A Hybrid Solution for Constrained Devices to Detect Microarchitectural Attacks.
EuroS&P Workshops
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle
2023 — ch.
An Introduction to Tools for Formal Analysis of Cryptographic Protocols.
Handb. Formal Anal. Verification Cryptogr.
Murat Moran, Pascal Lafourcade, Maxime Puys, David Williams
2023 B conf
Automated ICS template for STRIDE Microsoft Threat Modeling Tool.
ARES
Mike Da Silva, Maxime Puys, Pierre-Henri Thevenon, Stéphane Mocanu, Nelson Nkawa
2023 B conf
PLC Logic-Based Cybersecurity Risks Identification for ICS.
ARES
Mike Da Silva, Maxime Puys, Pierre-Henri Thevenon, Stéphane Mocanu
2022 J jnl
A Comprehensive Survey of Attacks without Physical Access Targeting Hardware Vulnerabilities in IoT/IIoT Devices, and Their Detection Mechanisms.
ACM Trans. Design Autom. Electr. Syst.
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle
2022 — conf
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models.
NordSec
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
2022 J jnl
SCADA Cybersecurity Awareness and Teaching with Hardware-In-The-Loop Platforms.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Maxime Puys, Pierre-Henri Thevenon, Stéphane Mocanu, Mathieu Gallissot, Camille Sivelle
2022 J jnl
iMRC: Integrated Monitoring & Recovery Component, a Solution to Guarantee the Security of Embedded Systems.
J. Internet Serv. Inf. Secur.
Pierre-Henri Thevenon, Sébastien Riou, Duc-Minh Tran, Maxime Puys, Nikolaos Foivos Polychronou, Mustapha El-Majihi, Camille Sivelle
2021 B conf
Hardware-In-The-Loop Labs for SCADA Cybersecurity Awareness and Training.
ARES
Maxime Puys, Pierre-Henri Thevenon, Stéphane Mocanu
2021 C conf
MaDMAN: Detection of Software Attacks Targeting Hardware Vulnerabilities.
DSD
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle
2021 — conf
Securing IoT/IIoT from Software Attacks Targeting Hardware Vulnerabilities.
NEWCAS
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle
2019 J jnl
Formally and practically verifying flow properties in industrial systems.
Comput. Secur.
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
2019 Misc conf
Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm.
IWSEC
Jean-Guillaume Dumas, Pascal Lafourcade, Julio López Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys
2018 — —
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
2017 J jnl
Dual protocols for private multi-party matrix multiplication and trust computations.
Comput. Secur.
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
2017 C conf
Formally Verifying Flow Properties in Industrial Systems.
SECRYPT
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
2017 — conf
Generation of Applicative Attacks Scenarios Against Industrial Systems.
FPS
Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled
2016 C conf
Domain Specific Stateful Filtering with Worst-Case Bandwidth.
CRITIS
Maxime Puys, Jean-Louis Roch, Marie-Laure Potet
2016 B conf
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol.
SAFECOMP
Maxime Puys, Marie-Laure Potet, Pascal Lafourcade
2016 C conf
Private Multi-party Matrix Multiplication and Trust Computations.
SECRYPT
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
2016 J jnl
Private Multi-party Matrix Multiplication and Trust Computations.
CoRR
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
2015 — conf
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties.
FPS
Pascal Lafourcade, Maxime Puys
2014 — conf
Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks.
FPS
Lionel Rivière, Marie-Laure Potet, Thanh-Ha Le, Julien Bringer, Hervé Chabanne, Maxime Puys
2014 — conf
High-Level Simulation for Multiple Fault Injection Evaluation.
DPM/SETOP/QASA
Maxime Puys, Lionel Rivière, Julien Bringer, Thanh-Ha Le
2014 A conf
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections.
ICST
Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil