@phdthesis{phdThesisMaximePuys,
  author = {Maxime Puys},
  title = {S{\'e}curit{\'e} des syst{\`e}mes industriels : filtrage applicatif et recherche de sc{\'e}narios d'attaques},
  school = {Communaut{\'e} Universit{\'e} Grenoble{-}Alpes},
  year = {2018},
  month = {Feb.},
  url = {https://maxime.puys.name/publications/pdf/phdThesisMaximePuys.pdf}
}

@article{TRDPPES22,
  author = {Thevenon, Pierre-Henri and
               Riou, Sebastien and
               Tran, Duc-Minh and
               Puys, Maxime and
               Polychronou, Nikolaos Foivos and
               El Majihi, Mustapha and
               Sivelle, Camille},
  title = {{iMRC:} Integrated Monitoring \& Recovery Component, a Solution
               to Guarantee the Security of Embedded Systems},
  journal = {Journal of Internet Services and Information Security (JISIS)
               (Rank Scimago Q3)},
  volume = {13},
  number = {1},
  pages = {4--32},
  year = {2022},
  url = {https://maxime.puys.name/publications/pdf/TRDPPES22.pdf}
}

@article{PTMGS22,
  author = {Puys, Maxime and
               Thevenon, Pierre-Henri and
               Mocanu, St\'{e}phane Mocanu and
               Gallissot, Mathieu and
               Sivelle, Camille},
  title = {{SCADA} Cybersecurity Awareness and Teaching with
               Hardware-In-The-Loop Platforms},
  journal = {Journal of Wireless Mobile Networks, Ubiquitous Computing, and
               Dependable Applications (JoWUA) (Rank Scimago Q2)},
  volume = {13},
  number = {1},
  pages = {4--32},
  year = {2022},
  url = {https://maxime.puys.name/publications/pdf/PTMGS22.pdf}
}

@article{PTPB21a,
  author = {Polychronou, Nikolaos-Foivos and Thevenon, Pierre-Henri and
               Puys, Maxime and Beroulle, Vincent},
  title = {A Comprehensive Survey of Attacks without Physical Access
               Targeting Hardware Vulnerabilities in {IoT/IIoT} Devices, and
               Their Detection Mechanisms},
  journal = {ACM Transactions on Design Automation of Electronic Systems
               (Rank Sciamago Q2)},
  volume = {27},
  number = {1},
  pages = {1--35},
  year = {2021},
  url = {https://maxime.puys.name/publications/pdf/PTPB21a.pdf}
}

@article{DPPLR19,
  author = {Dreier, Jannik and
               Puys, Maxime and
               Potet, Marie-Laure and
               Lafourcade, Pascal and
               Roch, Jean-Louis},
  title = {Formally and practically verifying flow properties in industrial
               systems},
  journal = {Computers \& Security, Elsevier (Rank Sciamago Q1)},
  volume = {86},
  number = {1},
  pages = {453--470},
  year = {2019},
  url = {https://maxime.puys.name/publications/pdf/DPPLR18.pdf}
}

@article{DLOP17,
  author = {Dumas, Jean-Guillaume and
               Lafourcade, Pascal and
               Orfila, Jean-Baptiste and
               Puys, Maxime},
  title = {Dual protocols for private multi-party matrix multiplication and
               trust computations},
  journal = {Computers \& Security, Elsevier (Rank Sciamago Q1)},
  volume = {71},
  number = {1},
  pages = {51--70},
  year = {2017},
  url = {https://maxime.puys.name/publications/pdf/DLOP17.pdf}
}

@inproceedings{SDPLF22,
  title = {Automatic Implementations Synthesis of Secure Protocols and
               Attacks from Abstract Models},
  author = {Sivelle, Camille and Debbah, Lorys and Puys, Maxime and Lafourcade,
               Pascal and Franco-Rondisson, Thibault},
  booktitle = {27th Nordic Conference on Secure IT Systems (NordSec), Reykjavik,
               Iceland, Nov. 30 -- Dec. 2, 2022 (Rank ERA C)},
  year = {2022},
  url = {https://maxime.puys.name/publications/pdf/SDPLF22.pdf}
}

@inproceedings{PTPB21b,
  title = {{MaDMAN}: Detection of Software Attacks Targeting Hardware Vulnerabilities},
  author = {Polychronou, Nikolaos Foivos and Thevenon, Pierre-Henri
               and Puys, Maxime and Beroulle, Vincent},
  booktitle = {24th IEEE Euromicro Conference on Digital System Design (DSD),
               Palermo, Italy, Sept, 1-3, 2021 (Rank Qualis B1)},
  pages = {355-362},
  year = {2021},
  url = {https://maxime.puys.name/publications/pdf/PTPB21b.pdf}
}

@inproceedings{PTM21,
  title = {Hardware-In-The-Loop Labs for SCADA Cybersecurity Awareness and Training},
  author = {Puys, Maxime and Thevenon, Pierre-Henri and Mocanu, St\'{e}phane},
  booktitle = {The 16th International Conference on Availability, Reliability and Security,
               {ARES} 2021, Vienna, Austria, August 17-20, 2021 (Rank Core B)},
  pages = {1--10},
  year = {2021},
  url = {https://maxime.puys.name/publications/pdf/PTM21.pdf}
}

@inproceedings{PKC20,
  title = {Towards Cybersecurity Act: A Survey on IoT Evaluation
               Frameworks},
  author = {Puys, Maxime and Krimm, Jean-Pierre and Collado, Rapha{\"e}l},
  booktitle = {{SECURWARE} 2020-The Fourteenth International Conference on
               Emerging Security Information, Systems and Technologies
               (Rank Qualis B3)},
  pages = {69--74},
  year = {2020},
  url = {https://maxime.puys.name/publications/pdf/PKC20.pdf}
}

@inproceedings{DLFLPP19,
  author = {Dumas, Jean{-}Guillaume and
                 Lafourcade, Pascal and
                 L{\'{o}}pez Fenner, Julio and
                 Lucas, David and
                 Orfila, Jean{-}Baptiste and
                 Pernet, Cl{\'{e}}ment and
                 Puys, Maxime},
  title = {Secure Multiparty Matrix Multiplication Based on Strassen-Winograd
                 Algorithm},
  booktitle = {Advances in Information and Computer Security - 14th International
                 Workshop on Security, {IWSEC} 2019, Tokyo, Japan, August 28-30, 2019,
                 Proceedings (Rank Core B)},
  pages = {67--88},
  year = {2019},
  url = {https://maxime.puys.name/publications/pdf/DLFLPP19.pdf}
}

@inproceedings{BDDEOPPPRR17,
  author = {Badrignans, Benoit and
               Danjean, Vincent and
               Dumas, Jean{-}Guillaume and
               Elbaz{-}Vincent, Philippe and
               Machenaud, Sabine and
               Orfila, Jean{-}Baptiste and
               Pebay{-}Peyroula, Florian and
               Pebay{-}Peyroula, François and
               Potet, Marie{-}Laure and
               Puys, Maxime and
               Richier, Jean{-}Luc and
               Jean{-}Louis, Roch},
  title = {{Security Architecture for Embedded Point-to-Points Splitting Protocols}},
  booktitle = {{WCICSS 2017 - IEEE World Congress on Industrial Control Systems Security}},
  year = {2017},
  url = {https://maxime.puys.name/publications/pdf/BDDEOPPPRR17.pdf}
}

@inproceedings{PPK17,
  author = {Puys, Maxime and
               Potet, Marie{-}Laure and
               Khaled, Abdelaziz},
  title = {Generation of Applicative Attacks Scenarios Against Industrial Systems},
  booktitle = {Foundations and Practice of Security - 10th International Symposium,
               {FPS} 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers},
  pages = {127--143},
  year = {2017},
  url = {https://maxime.puys.name/publications/pdf/PPK17.pdf}
}

@inproceedings{DPPLR17,
  author = {Dreier, Jannik and
               Puys, Maxime and
               Potet, Marie{-}Laure and
               Lafourcade, Pascal and
               Roch, Jean{-}Louis},
  title = {Formally Verifying Flow Integrity Properties in Industrial Systems},
  booktitle = {Proceedings of the 14th International Joint Conference on e-Business
               and Telecommunications {(ICETE)} 2017) - Volume 4: SECRYPT, Madrid,
               Spain, July 24-26, 2017 (Rank Core B)},
  pages = {55--66},
  year = {2017},
  url = {https://maxime.puys.name/publications/pdf/DPPLR17.pdf}
}

@inproceedings{PRP16,
  author = {Puys, Maxime and
               Roch, Jean{-}Louis and
               Potet, Marie{-}Laure},
  title = {Domain Specific Stateful Filtering with Worst{-}Case Bandwidth},
  booktitle = {Critical Information Infrastructures Security - 11th International
               Conference, {CRITIS} 2016, Paris, France, October 10-12, 2016, Revised
               Selected Papers (Rank Core C)},
  pages = {321--327},
  year = {2016},
  url = {https://maxime.puys.name/publications/pdf/PRP16.pdf}
}

@inproceedings{PPL16,
  author = {Puys, Maxime and
               Potet, Marie{-}Laure and
               Lafourcade, Pascal},
  title = {Formal Analysis of Security Properties on the {OPC-UA} {SCADA} Protocol},
  booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,
               {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings (Rank Core B)},
  pages = {67--75},
  year = {2016},
  url = {https://maxime.puys.name/publications/pdf/PPL16.pdf}
}

@inproceedings{DLOP16,
  author = {Dumas, Jean{-}Guillaume and
               Lafourcade, Pascal and
               Orfila, Jean{-}Baptiste and
               Puys, Maxime},
  title = {Private Multi-party Matrix Multiplication and Trust Computations},
  booktitle = {Proceedings of the 13th International Joint Conference on e-Business
               and Telecommunications ({ICETE} 2016) - Volume 4: SECRYPT, Lisbon,
               Portugal, July 26-28, 2016 (Rank Core B)},
  pages = {61--72},
  year = {2016},
  url = {https://maxime.puys.name/publications/pdf/DLOP16.pdf}
}

@inproceedings{LP15,
  author = {Lafourcade, Pascal and
               Puys, Maxime},
  title = {Performance Evaluations of Cryptographic Protocols Verification Tools
               Dealing with Algebraic Properties},
  booktitle = {Foundations and Practice of Security - 8th International Symposium,
               {FPS} 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised
               Selected Papers},
  pages = {137--155},
  year = {2015},
  url = {https://maxime.puys.name/publications/pdf/LP15.pdf}
}

@inproceedings{RPLBCP14,
  author = {Rivi{\`{e}}re, Lionel and
               Potet, Marie{-}Laure and
               Le, Thanh{-}Ha and
               Bringer, Julien and
               Chabanne, Herv{\'{e}} and
               Puys, Maxime},
  title = {Combining High-Level and Low-Level Approaches to Evaluate Software
               Implementations Robustness Against Multiple Fault Injection Attacks},
  booktitle = {Foundations and Practice of Security - 7th International Symposium,
               {FPS} 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected
               Papers},
  pages = {92--111},
  year = {2014},
  url = {https://maxime.puys.name/publications/pdf/RPLBCP14.pdf}
}

@inproceedings{PRBL14,
  author = {Puys, Maxime and
               Rivi{\`{e}}re, Lionel and
               Bringer, Julien and
               Le, Thanh{-}Ha},
  title = {High-Level Simulation for Multiple Fault Injection Evaluation},
  booktitle = {Data Privacy Management, Autonomous Spontaneous Security, and Security
               Assurance - 9th International Workshop, {DPM} 2014, 7th International
               Workshop, {SETOP} 2014, and 3rd International Workshop, {QASA} 2014,
               Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers},
  pages = {293--308},
  year = {2014},
  url = {https://maxime.puys.name/publications/pdf/PRBL14.pdf}
}

@inproceedings{PMPD14,
  author = {Potet, Marie{-}Laure and
               Mounier, Laurent and
               Puys, Maxime and
               Dureuil, Louis},
  title = {Lazart: {A} Symbolic Approach for Evaluation the Robustness of
               Secured Codes against Control Flow Injections},
  booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
               Ohio, {USA} (Core Rank A)},
  pages = {213--222},
  year = {2014},
  url = {https://maxime.puys.name/publications/pdf/PMPD14.pdf}
}

@inproceedings{PT22,
  author = {Puys, Maxime and
               Thevenon, Pierre-Henri},
  title = {{PULSE} - Cybersécurité des systèmes industriels},
  booktitle = {{Rendez-Vous de la Recherche et de l'Enseignement de la
               S{\'e}curit{\'e} des Syst{\`e}mes d'Information, RESSI 2022,
               Chambon-sur-Lac, France}},
  year = {2022},
  url = {https://maxime.puys.name/publications/pdf/PT22.pdf}
}

@inproceedings{GPT20,
  author = {Gallissot, Mathieu and Puys, Maxime and Thevenon, Pierre-Henri},
  title = {{Wonder-Cloud, une plateforme pour l’analyse et l’{\'e}mulation
               de micrologiciels ainsi que la composition de pots de miels}},
  booktitle = {{C\&esar; 2020 - Deceptive Security, Rennes, France}},
  pages = {1--8},
  year = {2020},
  url = {https://maxime.puys.name/publications/pdf/GPT20.pdf}
}

@inproceedings{MPT19,
  author = {Mocanu, St{\'e}phane and
               Puys, Maxime and
               Thevenon, Pierre-Henri},
  title = {{An Open-Source Hardware-In-The-Loop Virtualization System for
               Cybersecurity Studies of SCADA Systems}},
  booktitle = {{C\&esar; 2019 - Virtualization and Cybersecurity, Rennes, France}},
  pages = {1-16},
  year = {2019},
  url = {https://maxime.puys.name/publications/pdf/MPT19.pdf}
}

@inproceedings{PT19,
  author = {Puys, Maxime and
               Thevenon, Pierre-Henri},
  title = {Les d{\'e}fis pos{\'e}s par la s{\'e}curisation de l'IoT industriel},
  booktitle = {{Rendez-Vous de la Recherche et de l'Enseignement de la
               S{\'e}curit{\'e} des Syst{\`e}mes d'Information, RESSI 2019,
               Erquy, France}},
  year = {2019},
  url = {https://maxime.puys.name/publications/pdf/PT19.pdf}
}

@inproceedings{PPR16b,
  author = {Puys, Maxime and
               Potet, Marie{-}Laure and
               Roch, Jean{-}Louis},
  title = {Filtrage et v{\'e}rification de flux m{\'e}tiers dans les
               syst{\`e}mes industriels},
  booktitle = {{Rendez-Vous de la Recherche et de l'Enseignement de la
               S{\'e}curit{\'e} des Syst{\`e}mes d'Information, RESSI 2016,
               Toulouse, France}},
  year = {2016},
  url = {https://maxime.puys.name/publications/pdf/PPR16b.pdf}
}

@inproceedings{PPR16a,
  author = {Puys, Maxime and
               Potet, Marie{-}Laure and
               Roch, Jean{-}Louis},
  title = {G{\'e}n{\'e}ration syst{\'e}matique de sc{\'e}narios d'attaques
               contre des syst{\`e}mes industriels},
  booktitle = {{Approches Formelles dans l'Assistance au D{\'e}veloppement de
               Logiciels, AFADL 2016, Besan{\c c}on, France}},
  year = {2016},
  url = {https://maxime.puys.name/publications/pdf/PPR16a.pdf}
}

@inproceedings{PMPD14b,
  author = {Potet, Marie{-}Laure and
               Mounier, Laurent and
               Puys, Maxime and
               Dureuil, Louis},
  title = {Lazart: {A} Symbolic Approach for Evaluation the Robustness of
               Secured Codes against Control Flow Injections},
  booktitle = {{1er Colloque sur la Confiance Num{\'e}rique en Auvergne,
               Clermont-Ferrand, France}},
  year = {2014},
  url = {https://maxime.puys.name/publications/pdf/PMPD14.pdf}
}

@inproceedings{PMPD14a,
  author = {Potet, Marie{-}Laure and
               Mounier, Laurent and
               Puys, Maxime and
               Dureuil, Louis},
  title = {Lazart: {A} Symbolic Approach for Evaluation the Robustness of
               Secured Codes against Control Flow Injections},
  booktitle = {{Approches Formelles dans l'Assistance au D{\'e}veloppement de
               Logiciels, AFADL 2014, Paris, France}},
  year = {2014},
  url = {https://maxime.puys.name/publications/pdf/PMPD14.pdf}
}