PUYS - Maxime



IUT None
Maxime.PUYS@uca.fr
04
Researcher teacher
https://sancy.iut.uca.fr/~puys/
Axis ICS : Information and Communication Systems
Thème(s) : Network and Security

Last publications in LIMOS

All the publications of Maxime PUYS at LIMOS

Last publications in LIMOS
2023
ART
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
Automatic implementations synthesis of secure protocols and attacks from abstract models
Lecture Notes in Computer Science - 2023
Informatique/Cryptographie et sécurité
2018
ART
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally and Practically Verifying Flow Integrity Properties in Industrial Systems
Computers & Security - 2018
Informatique/Cryptographie et sécurité
2017
ART
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations
Computers & Security - 2017
Informatique/Cryptographie et sécurité
2017
COMM
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally Verifying Flow Properties in Industrial Systems
SECRYPT 2017 - 14th International Conference on Security and Cryptography - 2017
Informatique/Systèmes embarqués
2016
COMM
Maxime Puys, Marie-Laure Potet, Pascal Lafourcade
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol
35th International Conference, SAFECOMP 2016 - 2016
Informatique/Systèmes embarqués