![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Maxime Puys
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c17]Mike Da Silva
, Maxime Puys
, Pierre-Henri Thevenon
, Stéphane Mocanu
:
PLC Logic-Based Cybersecurity Risks Identification for ICS. ARES 2023: 117:1-117:10 - [c16]Mike Da Silva
, Maxime Puys
, Pierre-Henri Thevenon
, Stéphane Mocanu
, Nelson Nkawa
:
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
, Nikolaos Foivos Polychronou, Mustapha El-Majihi, Camille Sivelle:
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
, Pierre-Henri Thevenon, Stéphane Mocanu, Mathieu Gallissot, Camille Sivelle:
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
, Vincent Beroulle:
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
, Lorys Debbah, Maxime Puys
, Pascal Lafourcade
, Thibault Franco-Rondisson
:
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. NordSec 2022: 234-252 - 2021
- [c13]Maxime Puys
, Pierre-Henri Thevenon, Stéphane Mocanu
:
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
, Vincent Beroulle:
MaDMAN: Detection of Software Attacks Targeting Hardware Vulnerabilities. DSD 2021: 355-362 - [c11]Nikolaos Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys
, Vincent Beroulle:
Securing IoT/IIoT from Software Attacks Targeting Hardware Vulnerabilities. NEWCAS 2021: 1-4
2010 – 2019
- 2019
- [j2]Jannik Dreier
, Maxime Puys
, Marie-Laure Potet, Pascal Lafourcade
, Jean-Louis Roch:
Formally and practically verifying flow properties in industrial systems. Comput. Secur. 86: 453-470 (2019) - [c10]Jean-Guillaume Dumas
, Pascal Lafourcade
, Julio López Fenner
, David Lucas, Jean-Baptiste Orfila, Clément Pernet
, Maxime Puys
:
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
, Pascal Lafourcade
, Jean-Baptiste Orfila, Maxime Puys
:
Dual protocols for private multi-party matrix multiplication and trust computations. Comput. Secur. 71: 51-70 (2017) - [c9]Maxime Puys
, Marie-Laure Potet, Abdelaziz Khaled:
Generation of Applicative Attacks Scenarios Against Industrial Systems. FPS 2017: 127-143 - [c8]Jannik Dreier, Maxime Puys
, Marie-Laure Potet, Pascal Lafourcade
, Jean-Louis Roch:
Formally Verifying Flow Properties in Industrial Systems. SECRYPT 2017: 55-66 - 2016
- [c7]Maxime Puys
, Jean-Louis Roch, Marie-Laure Potet:
Domain Specific Stateful Filtering with Worst-Case Bandwidth. CRITIS 2016: 321-327 - [c6]Maxime Puys
, Marie-Laure Potet, Pascal Lafourcade
:
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. SAFECOMP 2016: 67-75 - [c5]Jean-Guillaume Dumas
, Pascal Lafourcade
, Jean-Baptiste Orfila, Maxime Puys
:
Private Multi-party Matrix Multiplication and Trust Computations. SECRYPT 2016: 61-72 - [i1]Jean-Guillaume Dumas
, Pascal Lafourcade
, Jean-Baptiste Orfila, Maxime Puys
:
Private Multi-party Matrix Multiplication and Trust Computations. CoRR abs/1607.03629 (2016) - 2015
- [c4]Pascal Lafourcade
, Maxime Puys
:
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties. FPS 2015: 137-155 - 2014
- [c3]Maxime Puys
, Lionel Rivière, Julien Bringer, Thanh-Ha Le:
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
, Maxime Puys
:
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
, Louis Dureuil:
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. ICST 2014: 213-222
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint