PRV 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

• License 1
• Algorithms and Programmation
• License 3 - MIAGE
• Data Bases - SQL, Relational Algebra, Oracle
• Practical works -- session 1 - SQL scripts
• Practical works -- session 2 - SQL scripts
• Master 1
• Head of MASTER MIAGE 1 - (for students, click here for the timetable)
• Logics and their applications
• Compilation
• Advanced Methods for Programmation -- Design Patterns (MIAGE)
• Master 2
  • Specification and Verification
    • Course materials: All that you need to know about specification and verification, few words about SPIN and Rewriting and Verification.
  • Security
    • Table of contents
      • Introduction,
      • Cryptography History,
      • Analysing ciphers,
      • DES,
      • RSA,
      • AES,
      • Security protocols,
      • Protocols for authentication,
      • Specifying protocols in HLPSL.