Nov 28, 2023


Lecture Notes




La mise en ligne des supports de cours ne confère aucune session de droit d'auteur

Master 1

Java M1 Cryptis Math?: Les notions de base de Java pour la programmation Standard Edition
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,...)

This page may have a more recent version on PmWiki:Master, and a talk page: PmWiki:Master-Talk.

Page Actions