default search action
Maxime Puys
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c18]Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama:
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles. ISC (1) 2024: 211-231 - 2023
- [c17]Mike Da Silva
, Maxime Puys
PLC Logic-Based Cybersecurity Risks Identification for ICS. ARES 2023: 117:1-117:10 - [c16]Mike Da Silva
Automated ICS template for STRIDE Microsoft Threat Modeling Tool. ARES 2023: 118:1-118:7 - [c15]Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, Vincent Beroulle:
A Hybrid Solution for Constrained Devices to Detect Microarchitectural Attacks. EuroS&P Workshops 2023: 259-269 - [p1]Murat Moran, Pascal Lafourcade, Maxime Puys, David Williams:
An Introduction to Tools for Formal Analysis of Cryptographic Protocols. Handb. Formal Anal. Verification Cryptogr. 2023: 105-152 - 2022
- [j5]Pierre-Henri Thevenon, Sébastien Riou, Duc-Minh Tran, Maxime Puys
iMRC: Integrated Monitoring & Recovery Component, a Solution to Guarantee the Security of Embedded Systems. J. Internet Serv. Inf. Secur. 12(2): 70-94 (2022) - [j4]Maxime Puys
SCADA Cybersecurity Awareness and Teaching with Hardware-In-The-Loop Platforms. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 13(1): 4-32 (2022) - [j3]Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys
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): 1:1-1:35 (2022) - [c14]Camille Sivelle
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. NordSec 2022: 234-252 - 2021
- [c13]Maxime Puys
Hardware-In-The-Loop Labs for SCADA Cybersecurity Awareness and Training. ARES 2021: 147:1-147:10 - [c12]Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys
MaDMAN: Detection of Software Attacks Targeting Hardware Vulnerabilities. DSD 2021: 355-362 - [c11]Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys
Securing IoT/IIoT from Software Attacks Targeting Hardware Vulnerabilities. NEWCAS 2021: 1-4
2010 – 2019
- 2019
- [j2]Jannik Dreier
Formally and practically verifying flow properties in industrial systems. Comput. Secur. 86: 453-470 (2019) - [c10]Jean-Guillaume Dumas
Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. IWSEC 2019: 67-88 - 2018
- [b1]Maxime Puys:
Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques. (Cybersecurity of Industrial Systems : Applicative Filtering and Generation of Attack Scenarios). Grenoble Alpes University, France, 2018 - 2017
- [j1]Jean-Guillaume Dumas
Dual protocols for private multi-party matrix multiplication and trust computations. Comput. Secur. 71: 51-70 (2017) - [c9]Maxime Puys
Generation of Applicative Attacks Scenarios Against Industrial Systems. FPS 2017: 127-143 - [c8]Jannik Dreier, Maxime Puys
Formally Verifying Flow Properties in Industrial Systems. SECRYPT 2017: 55-66 - 2016
- [c7]Maxime Puys
Domain Specific Stateful Filtering with Worst-Case Bandwidth. CRITIS 2016: 321-327 - [c6]Maxime Puys
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. SAFECOMP 2016: 67-75 - [c5]Jean-Guillaume Dumas
Private Multi-party Matrix Multiplication and Trust Computations. SECRYPT 2016: 61-72 - [i1]Jean-Guillaume Dumas
Private Multi-party Matrix Multiplication and Trust Computations. CoRR abs/1607.03629 (2016) - 2015
- [c4]Pascal Lafourcade
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties. FPS 2015: 137-155 - 2014
- [c3]Maxime Puys
High-Level Simulation for Multiple Fault Injection Evaluation. DPM/SETOP/QASA 2014: 293-308 - [c2]Lionel Rivière, Marie-Laure Potet, Thanh-Ha Le, Julien Bringer, Hervé Chabanne
Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks. FPS 2014: 92-111 - [c1]Marie-Laure Potet, Laurent Mounier, Maxime Puys
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. ICST 2014: 213-222
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: