PUYS - Maxime
Toutes les publications (20)
| Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
|---|---|---|---|---|
| 2025
COMM |
Zoé Lagache, Pierre-Henri Thevenon, Maxime Puys, Oum-El-Kheir Aktouf
Dissecting Mirai : Spatio-Sequential Analysis and Restoration Strategies Using MITRE ATT&CK and D3FEND 30th Nordic Conference on Secure IT Systems (NordSec) - 2025 |
Informatique/Cryptographie et sécurité | ||
| 2025
COMM |
Lalie Arnoud, Zoé Lagache, Pierre-Henri Thevenon, Aloïs Champenois, Victor Breux, Maxime Puys, Éric Gaussier, Oum-El-Kheir Aktouf
HENDRICS: A Hardware-in-the-Loop Testbed for Enhanced Intrusion Detection, Response and Recovery of Industrial Control Systems 30th European Symposium on Research in Computer Security (ESORICS 2025), Workshop on Assessment with New methodologies, Unified Benchmarks, and environments, of Intrusion detection and response Systems (ANUBIS) - 2025 |
Informatique/Cryptographie et sécurité | ||
| 2025
COMM |
Florent Durécu, Maxime Puys, Gérard Chalhoub, Paul-Marie Grollemund
Evaluation of Machine Learning Intrusion Detection Systems Resiliency to Network Traffic Evolution 33rd International Conference on Software, Telecommunications, and Computer Networks (SoftCOM 2025) - 2025 |
Informatique/Cryptographie et sécurité | ||
| 2025
COMM |
Ayoub Ben Hassen, Dhekra Mahmoud, Pascal Lafourcade, Maxime Puys
Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability 20th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2025) - 2025 |
Informatique/Cryptographie et sécurité | ||
| 2025
ART |
Mike Da Silva, Stéphane Mocanu, Maxime Puys, Pierre-Henri Thevenon
Safety-Security Convergence: Automation of IEC 62443-3-2 Computers & Security - 2025 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
Secure Voting Protocol Using Balance Scale 17th International Symposium on Foundations & Practice of Security (FPS – 2024). - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles Information Security Conference - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
PATENT |
Mike Da Silva, Pierre-Henri Thevenon, Maxime Puys, Stéphane Mocanu
Procédé et dispositif d’identification des risques de cyberattaques |
|||
| 2024
PATENT |
Mike Da Silva, Pierre-Henri Thevenon, Maxime Puys, Stéphane Mocanu
Method and device for identifying risks of cyberattacks |
|||
| 2024
COMM |
Mike Da Silva, Pierre-Henri Thevenon, Stéphane Mocanu, Maxime Puys
Convergence sûreté-sécurité des Systèmes de Contrôle Industriel RESSI 2024 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Nikolaos-Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle
A hybrid solution for constrained devices to detect microarchitectural attacks 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - 2023 |
Informatique/Systèmes embarqués | ||
| 2023
COMM |
Zoé Lagache, Pierre-Henri Thevenon, Maxime Puys, Oum-El-Kheir Aktouf
Study of autonomous response and recovery mechanisms for embedded systems Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, RESSI 2023 - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
Automatic implementations synthesis of secure protocols and attacks from abstract models Nordic Workshop on Secure IT Systems - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Jean-Guillaume Dumas, Pascal Lafourcade, Julio Lopez Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm The 14th International Workshop on Security (IWSEC 2019) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
ART |
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally and Practically Verifying Flow Integrity Properties in Industrial Systems Computers & Security - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2017
ART |
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations Computers & Security - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally Verifying Flow Properties in Industrial Systems SECRYPT 2017 - 14th International Conference on Security and Cryptography - 2017 |
Informatique/Informatique et langage | ||
| 2016
COMM |
Maxime Puys, Marie-Laure Potet, Pascal Lafourcade
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol 35th International Conference, SAFECOMP 2016 - 2016 |
Informatique/Informatique et langage | ||
| 2016
COMM |
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Private Multi-party Matrix Multiplication and Trust Computations 13th International Conference on Security and Cryptography SECRYPT 16 - 2016 |
Informatique/Informatique et langage | ||
| 2015
COMM |
Pascal Lafourcade, Maxime Puys
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties 8th International Symposium on Foundations and Practice of Security 8th International Symposium, FPS 2015 - 2015 |
Informatique/Informatique et langage |