PUYS - Maxime



F106 ISIMA
Maxime.PUYS@uca.fr
04
Engineer Technician Administrative
Equipe technico-administrative

Last publications in LIMOS

All the publications of Maxime PUYS at LIMOS

Last publications in LIMOS
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/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
2016
COMM
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Private Multi-party Matrix Multiplication and Trust Computations
13th International Conference on Security and Cryptography SECRYPT 16 - 2016
Informatique/Systèmes embarqués