
Maxime Puys
Maitre de conférences à l'Université Clermont Auvergne
92%
Libre accès
36
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
|
|
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
|
|
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
|
|
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
|
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
|
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
Procédé et dispositif d’identification des risques de cyberattaquesFrance, N° de brevet: FR3144328. 2024
Brevet
hal-04635804
v1
|
|
Method and device for identifying risks of cyberattacksUnited States, Patent n° : US20240211607A1. 2024
Brevet
hal-04635819
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...