PUYS - Maxime

All publications(7)
Date/Type Titre/URL/journal Domaines Notes SJR/Core Cit. GScholar
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
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/Informatique et langage
2015
COMM
Pascal Lafourcade, Maxime Puys
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties
8th International Symposium on Foundations and Practice of Security 8th International Symposium, FPS 2015 - 2015
Informatique/Informatique et langage