
Maxime Puys
Maitre de conférences à l'Université Clermont Auvergne
93%
Libre accès
42
Documents
Affiliation actuelle
- Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS)
Identifiants chercheurs
Publications
Publications
|
Formal Analysis of SDNsec: Attacks and Corrections for Payload, Route Integrity and Accountability20th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2025), Aug 2025, Hanoi, Vietnam
Communication dans un congrès
hal-04998270
v1
|
|
Evaluation of Machine Learning Intrusion Detection Systems Resiliency to Network Traffic Evolution33rd International Conference on Software, Telecommunications, and Computer Networks (SoftCOM 2025), Sep 2025, Split, Croatia, Croatia
Communication dans un congrès
hal-05191179
v1
|
|
Secure Voting Protocol Using Balance Scale17th International Symposium on Foundations & Practice of Security (FPS – 2024)., Dec 2024, Montreal, Canada
Communication dans un congrès
hal-04831163
v1
|
|
Balance-Based ZKP Protocols for Pencil-and-Paper PuzzlesInformation Security Conference, Oct 2024, Washington DC, United States
Communication dans un congrès
hal-04671562
v2
|
|
Convergence sûreté-sécurité des Systèmes de Contrôle IndustrielRESSI 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
|
|
Automated ICS template for STRIDE Microsoft Threat Modeling ToolARES 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
|
|
Automatic implementations synthesis of secure protocols and attacks from abstract modelsNordic 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
|
|
PLC Logic-Based Cybersecurity Risks Identification for ICSARES 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
|
|
A hybrid solution for constrained devices to detect microarchitectural attacks2023 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
|
|
Study of autonomous response and recovery mechanisms for embedded systemsRendez-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
|
|
PULSE -Cybersécurité des systèmes industrielsRendez-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
|
Research for a new solution for the detection of malwares in IoT/IIoT devicesJournée Code et Cryptographie 2022, Oct 2022, Toulouse, France
Communication dans un congrès
cea-04072867
v1
|
|
|
Securing IoT/IIoT from Software Attacks Targeting Hardware Vulnerabilities19th 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
|
|
Hardware-in-the-loop labs for SCADA cybersecurity awareness and trainingARES 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
|
|
MaDMAN: Detection of Software Attacks Targeting Hardware Vulnerabilities2021 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
|
|
Towards Cybersecurity Act: A Survey on IoT Evaluation FrameworksSECURWARE 2020 - The Fourteenth International Conference on Emerging Security Information, Systems and Technologies, Nov 2020, Valence, Spain
Communication dans un congrès
cea-03019512
v1
|
|
WonderCloud, une plateforme pour l'analyse et l'émulation de micrologiciels ainsi que la composition de pots de mielsC&ESAR 2020 - Computer & Electronics Security Applications Rendez-vous, DGA, Dec 2020, Rennes, France
Communication dans un congrès
hal-05124010
v1
|
|
Les défis posés par la sécurisation de l'IoT industrielRendez-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
|
|
An Open-Source Hardware-In-The-Loop Virtualization System for Cybersecurity Studies of SCADA SystemsC&esar 2019 - Virtualization and Cybersecurity, Nov 2019, Rennes, France. pp.1-16
Communication dans un congrès
hal-02371133
v1
|
|
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd AlgorithmThe 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
|
|
Security Architecture for Point-to-Point Splitting ProtocolsWCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom
Communication dans un congrès
hal-01657605
v1
|
|
Formally Verifying Flow Properties in Industrial SystemsSECRYPT 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
|
|
Generation of Applicative Attacks Scenarios Against Industrial Systems10th International Symposium on Foundations and Practice of Security, FPS 2017, Oct 2017, Nancy, France
Communication dans un congrès
hal-01615534
v1
|
|
Domain Specific Stateful Filtering with Worst-Case Bandwidth11th International Conference on Critical Information Infrastructures Security (CRITIS 2016), UIC, Oct 2016, Paris, France
Communication dans un congrès
hal-01393829
v1
|
|
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol35th International Conference, SAFECOMP 2016, Sep 2016, Trondheim, Norway. ⟨10.1007/978-3-319-45477-1_6⟩
Communication dans un congrès
hal-01366059
v1
|
|
Private Multi-party Matrix Multiplication and Trust Computations13th 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
|
|
Filtrage et vérification de flux métiers dans les systèmes industrielsRendez-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
|
|
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties8th 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
|
|
Génération systématique de scénarios d'attaques contre des systèmes industriels15è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
|
|
High-Level Simulation for Multiple Fault Injection EvaluationData 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
|
|
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow InjectionsSeventh 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
|
|
Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection AttacksFoundations and Practice of Security, Nov 2014, Montreal, Canada. ⟨10.1007/978-3-319-17040-4_7⟩
Communication dans un congrès
hal-01229261
v1
|
Method and device for identifying risks of cyberattacksUnited States, Patent n° : US20240211607A1. 2024
Brevet
hal-04635819
v1
|
|
Procédé et dispositif d’identification des risques de cyberattaquesFrance, N° de brevet: FR3144328. 2024
Brevet
hal-04635804
v1
|
|
Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaquesCryptographie et sécurité [cs.CR]. Communauté Université Grenoble-Alpes, 2018. Français. ⟨NNT : ⟩
Thèse
tel-01827270
v1
|
|
Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaquesCryptographie et sécurité [cs.CR]. Université Grenoble Alpes, 2018. Français. ⟨NNT : 2018GREAM009⟩
Thèse
tel-01893142
v1
|
Chargement...
Chargement...