Yannick Chevalier

`Maître de conférences' at Université Toulouse III, member of the LILaC group

• Deust AMTIC
• Deug SV 2
• Deug STPI 1
• DESS CCI 2
• ESIAL 2 (ASPD) et Maîtrise d'Informatique
• DEA de Chimie Informatique et Théorique

• Algorithmes, Types Abstraites de Données et Preuves (Albi)
• module de fonctions sécurisées (pour linux seulement).
• Makefile pour OCaml (les instructions sont à l'intérieur)
• Module noeud pour le projet
• Présentation pdf du projet
• énoncés : TP 1 pour les TPs Caml
• fichier C pour mettre un nom en minuscules. l'éxécutable produit "tolower" doit être mis dans le répertoire ~/bin pour être utilisable directement
• Makefile automatisant la compilation des fichiers Tom. Il faut le copier dans le répertoire où se trouvent les fichiers .gom et .t, et le renommer "Makefile"
• Pour les arbres Rouges et Noirs, le fichier gom et le fichier Tom
• IUP NTIE M2 Cours de mathématiques pour l'informatique et de sécurité

• personnal bibliography, which is also alvailable (with links to articles) on the CASSIS Project homepage;
• the CASRUL compiler;
• the daTac theorem prover;
• the home page of the AVISS open assessment project;
• The homepage of the AVISPA (Automated Validation of Internet Security Protocols and Applications) FET project;
• A Xemacs mode for editing protocol specifications with xemacs. In the best case, the installation procedure is simply "./avispa-mode.bin". More hints are given in the INSTALL file. Finally, some lacunary help is available in the README file, though I admit that it would need to be much improved.