Maxime Puys

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 19

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Mike Da Silva, Maxime Puys, Pierre-Henri Thevenon, Stéphane Mocanu
PLC Logic-Based Cybersecurity Risks Identification for ICS. ARES (2023)
Mike Da Silva, Maxime Puys, Pierre-Henri Thevenon, Stéphane Mocanu, Nelson Nkawa
Automated ICS template for STRIDE Microsoft Threat Modeling Tool. ARES (2023)
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle
A Hybrid Solution for Constrained Devices to Detect Microarchitectural Attacks. EuroS&P Workshops (2023)
Pierre-Henri Thevenon, Sébastien Riou, Duc-Minh Tran, Maxime Puys, Nikolaos Foivos Polychronou, Mustapha El-Majihi, Camille Sivelle
iMRC: Integrated Monitoring & Recovery Component, a Solution to Guarantee the Security of Embedded Systems. J. Internet Serv. Inf. Secur. 12 (2) (2022)
Maxime Puys, Pierre-Henri Thevenon, Stéphane Mocanu, Mathieu Gallissot, Camille Sivelle
SCADA Cybersecurity Awareness and Teaching with Hardware-In-The-Loop Platforms. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 13 (1) (2022)
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle
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. 27 (1) (2022)
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. NordSec (2022)
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle
Securing IoT/IIoT from Software Attacks Targeting Hardware Vulnerabilities. NEWCAS (2021)
Maxime Puys, Pierre-Henri Thevenon, Stéphane Mocanu
Hardware-In-The-Loop Labs for SCADA Cybersecurity Awareness and Training. ARES (2021)
Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle
MaDMAN: Detection of Software Attacks Targeting Hardware Vulnerabilities. DSD (2021)
Jean-Guillaume Dumas, Pascal Lafourcade, Julio López Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys
Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. IWSEC (2019)
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally and practically verifying flow properties in industrial systems. Comput. Secur. 86 (2019)
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Dual protocols for private multi-party matrix multiplication and trust computations. Comput. Secur. 71 (2017)
Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled
Generation of Applicative Attacks Scenarios Against Industrial Systems. FPS (2017)
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally Verifying Flow Properties in Industrial Systems. SECRYPT (2017)
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Private Multi-party Matrix Multiplication and Trust Computations. SECRYPT (2016)
Maxime Puys, Jean-Louis Roch, Marie-Laure Potet
Domain Specific Stateful Filtering with Worst-Case Bandwidth. CRITIS (2016)
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Private Multi-party Matrix Multiplication and Trust Computations. CoRR (2016)
Maxime Puys, Marie-Laure Potet, Pascal Lafourcade
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. SAFECOMP (2016)
Pascal Lafourcade, Maxime Puys
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties. FPS (2015)
Maxime Puys, Lionel Rivière, Julien Bringer, Thanh-Ha Le
High-Level Simulation for Multiple Fault Injection Evaluation. DPM/SETOP/QASA (2014)
Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. ICST (2014)
Lionel Rivière, Marie-Laure Potet, Thanh-Ha Le, Julien Bringer, Hervé Chabanne, Maxime Puys
Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks. FPS (2014)

Maxime Puys.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maxime Puys