PUYS - Maxime



IUT IUT
Maxime.PUYS@uca.fr
04
Researcher teacher
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
2022
COMM
Camille Sivelle, Lorys Ld Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models
The 27th Nordic Conference on Secure IT Systems, NordSec - 2022
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 and 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 and 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/Informatique et langage
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/Informatique et langage