Maxime Puys
Maitre de conférences à l'Université Clermont Auvergne
93%
Libre accès
30
Documents
Affiliations actuelles
- 1063677
Identifiants chercheurs
- maxime-puys
- 0000-0001-6127-9816
- Google Scholar : https://scholar.google.fr/citations?user=nkNvw8wAAAAJ&hl=fr
- IdRef : 230747302
Publications
|
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-04165414v1
|
|
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-04165419v1
|
|
A hybrid solution for constrained devices to detect microarchitectural attacksEuroS&P 2023 - 8th IEEE European Symposium on Security and Privacy, Jul 2023, Delft, Netherlands
Communication dans un congrès
hal-04149021v1
|
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-04072867v1
|
|
|
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, Vienna, Austria. ⟨10.1145/3465481.3469185⟩
Communication dans un congrès
hal-03282601v1
|
|
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-03601214v1
|
|
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-03601312v1
|
|
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-03019512v1
|
|
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-01781554v3
|
|
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-02371133v1
|
|
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-01527913v1
|
|
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-01657605v1
|
|
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-01615534v1
|
|
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-01330949v1
|
|
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-01316590v1
|
|
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-01393829v1
|
|
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-01366059v1
|
|
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-01344750v2
|
|
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-01306395v1
|
|
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-01229279v1
|
|
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-01229261v1
|
|
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-01229274v1
|
|
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-01827270v1
|
|
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-01893142v1
|