Yohan BOICHUT

LMV team at LIFO

Laboratoire d'Informatique Fondamentale d'Orléans
Batiment IIIA,
rue Leonard de Vinci, BP 6759
F-45067 ORLEANS Cedex 2

Tél: 02 38 49 25 74
e-mail: yohan(DOT)boichut(AT)univ-orleans.fr



  • Assistant professor at the University of Orleans
  • Head of MASTER MIAGE 1
    • Algorithms and Programmation, License 1
    • Data Bases, License 3 MIAGE
    • Advanced Methods for Programmation, Master 1 MIAGE
    • Compilation, Master 1 IRAD
    • Logics and their applications, Master 1 IRAD
    • Security, Master 2 IRAD/MIAGE
    • Specification and Verification, Master 2 IRAD
    For more details, follow me.
  • Research Themes
    • Verification
    • Term Rewriting - Reachability Analysis
    • Tree Automata
    • Java Bytecode Analysis
    • Security Protocols Verification
  • Tools
    • TA4SP   (Tree Automata based on Automatic Approximations for the Analysis of Security Protocols) a push-button tool for security protocols verification
  • Research Projects
    • RAVAJ
    • AVISPA (Automated Validation of Internet Security Protocols and Applications)
    • PROUVE (PRotocoles cryptographiques: OUtils de VErification automatique)
    • ACI SATIN (Security Analysis for Trusted Infrastructures and Network protocols)
  • Thesis Award:
    • A'Doc 2006: First award of the SPIM graduate school of the Franche-Comté University
  • Press:
    • L'Est Républicain, February 15th, 2006: article (in Molière's tongue)

 
 


Last Modified: 2019, April 5th