Maxime Puys

@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{DPPLR18,
  title = {Formally and practically verifying flow properties in industrial systems},
  author = {Dreier, Jannik and Puys, Maxime and Potet, Marie-Laure and Lafourcade, Pascal and Roch, Jean-Louis},
  journal = {Computers \& Security},
  year = {2018},
  url = {https://maxime.puys.name/publications/pdf/DPPLR18.pdf}
}

@article{DLOP17,
  title = {Dual protocols for private multi-party matrix multiplication and trust computations},
  author = {Jean-Guillaume Dumas and Pascal Lafourcade and Jean-Baptiste Orfila and Maxime Puys},
  journal = {Computers \& Security},
  year = {2017},
  url = {https://maxime.puys.name/publications/pdf/DLOP17.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
               Roch, Jean{-}Louis},
  title = {{Security Architecture for Embedded Point-to-Points Splitting Protocols}},
  booktitle = {WCICSS'17},
  year = {2017},
  url = {https://maxime.puys.name/publications/pdf/BDDEOPPPRR17.pdf}
}

@inproceedings{PPK17,
  author = {Maxime Puys and
               Marie{-}Laure Potet and
               Abdelaziz Khaled},
  title = {Generation of Applicative Attacks Scenarios Against Industrial Systems},
  booktitle = {FPS'17, Nancy, France},
  year = {2017},
  url = {https://maxime.puys.name/publications/pdf/PPK17.pdf}
}

@inproceedings{DPPLR17,
  author = {Jannik Dreier and
               Maxime Puys and
               Marie{-}Laure Potet and
               Pascal Lafourcade and
               Jean{-}Louis Roch},
  title = {Formally Verifying Flow Integrity Properties in Industrial Systems},
  booktitle = {SECRYPT'17, Madrid, Spain},
  year = {2017},
  url = {https://maxime.puys.name/publications/pdf/DPPLR17.pdf}
}

@inproceedings{PRP16,
  author = {Maxime Puys and
               Jean{-}Louis Roch and
               Marie{-}Laure Potet},
  title = {Domain Specific Stateful Filtering with Worst{-}Case Bandwidth},
  booktitle = {CRITIS'16, Paris, France},
  year = {2016},
  url = {https://maxime.puys.name/publications/pdf/PRP16.pdf}
}

@inproceedings{PPL16,
  author = {Maxime Puys and
               Marie{-}Laure Potet and
               Pascal Lafourcade},
  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},
  pages = {67--75},
  year = {2016},
  url = {https://maxime.puys.name/publications/pdf/PPL16.pdf}
}

@inproceedings{DLOP16,
  author = {Jean{-}Guillaume Dumas and
               Pascal Lafourcade and
               Jean{-}Baptiste Orfila and
               Maxime Puys},
  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.},
  pages = {61--72},
  year = {2016},
  url = {https://maxime.puys.name/publications/pdf/DLOP16.pdf}
}

@inproceedings{LP15,
  author = {Pascal Lafourcade and
               Maxime Puys},
  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 = {Lionel Rivi{\`{e}}re and
               Marie{-}Laure Potet and
               Thanh{-}Ha Le and
               Julien Bringer and
               Herv{\'{e}} Chabanne and
               Maxime Puys},
  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 = {Maxime Puys and
               Lionel Rivi{\`{e}}re and
               Julien Bringer and
               Thanh{-}Ha Le},
  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 = {Marie{-}Laure Potet and
               Laurent Mounier and
               Maxime Puys and
               Louis Dureuil},
  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}},
  pages = {213--222},
  year = {2014},
  url = {https://maxime.puys.name/publications/pdf/PMPD14.pdf}
}

@inproceedings{PPR16b,
  author = {Maxime Puys and
               Marie{-}Laure Potet and
               Jean{-}Louis Roch},
  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 = {Maxime Puys and
               Marie{-}Laure Potet and
               Jean{-}Louis Roch},
  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 = {Marie{-}Laure Potet and
               Laurent Mounier and
               Maxime Puys and
               Louis Dureuil},
  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}},
  url = {https://maxime.puys.name/publications/pdf/PMPD14.pdf}
}

@inproceedings{PMPD14a,
  author = {Marie{-}Laure Potet and
               Laurent Mounier and
               Maxime Puys and
               Louis Dureuil},
  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}
}