La mise en ligne des supports de cours ne confère aucune session de droit d'auteur
Master 1
Java Avancé? : Java pour l'embarqué les configurations à faibles ressources et la VM Dalvik.
Master 2 CRYPTIS: Sécurité de l'Information et Cryptologie.
Documents are available on the master web site wiki and the time schedule also. I give the following lectures :
GĂ©nie Logiciel (software engineering), a give an introduction to formal methods using the B method for the hand on sessions.
Carte Ă Puce? (smart cards) I give an introduction to this technology with several software developments on Java Cards, thanks to our partner that provided us the materials. Video of the courses are available on the moodle platform.
Uml, I give a general introduction to
UML? with a specific focus on the UML for security (to describe a security policy,...)