PUYS - Maxime
Toutes les publications (11)
| Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
|---|---|---|---|---|
| 2024
COMM |
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
Secure Voting Protocol Using Balance Scale 17th International Symposium on Foundations & Practice of Security (FPS – 2024). - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles Information Security Conference - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
PATENT |
Mike Da Silva, Pierre-Henri Thevenon, Maxime Puys, Stéphane Mocanu
Procédé et dispositif d’identification des risques de cyberattaques |
|||
| 2024
PATENT |
Mike Da Silva, Pierre-Henri Thevenon, Maxime Puys, Stéphane Mocanu
Method and device for identifying risks of cyberattacks |
|||
| 2022
COMM |
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
Automatic implementations synthesis of secure protocols and attacks from abstract models Nordic Workshop on Secure IT Systems - 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 & 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 | ||
| 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/Calcul formel | ||
| 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 |