PUYS - Maxime



IUT None
Maxime.PUYS@uca.fr
04
Enseignant chercheur
https://sancy.iut.uca.fr/~puys/
Axe SIC : Systèmes d’Information et de Communication
Thème(s) : Réseau et sécurité

Dernière(s) publication(s) au LIMOS :

Toutes les publications de Maxime PUYS au LIMOS

Dernière(s) publication(s) au 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/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