Course list

Period: 2022Fall
Track type Track Semester Teaching Unit Course
Ingénieur de Spécialisation Diplôme d'Ingénieur de Spécialisation en Communications pour les Systèmes de Transports Intelligents [spe-its] s11 Sciences humaines & sociales
[ue_spe-its-s11-shs]
ECTS: 10.00
Les enjeux d'une économie soutenable
[CSE]
Weight: 2.00
Credits for track: 2.00
Ingénieur de Spécialisation Diplôme d'Ingénieur de Spécialisation en Communications pour les Systèmes de Transports Intelligents [spe-its] s11 Réseaux de communication
[ue_spe-its-s11-net]
ECTS: 5.00
Calcul multipartite et blockchains
[MPC]
Weight: 2.50
Credits for track: 2.50
Ingénieur de Spécialisation Diplôme d'Ingénieur de spécialisation en Sécurité des Systèmes Informatiques et des Communications [spe-sec] s11 Sciences humaines & sociales
[ue_spe-sec-s11-shs]
ECTS: 10.00
Les enjeux d'une économie soutenable
[CSE]
Weight: 2.00
Credits for track: 2.00
Ingénieur de Spécialisation Diplôme d'Ingénieur de spécialisation en Sécurité des Systèmes Informatiques et des Communications [spe-sec] s11 Cryptographie
[ue_spe-sec-s11-cryp]
ECTS: 5.00
Calcul multipartite et blockchains
[MPC]
Weight: 2.50
Credits for track: 2.50
Period: 2022Spring
Track type Track Semester Teaching Unit Course
Ingénieur de Spécialisation Diplôme d'Ingénieur de spécialisation en Sécurité des Systèmes Informatiques et des Communications [spe-sec] s12 Ouverture
[ue_spe-sec-s12-open]
ECTS: 5.00
Formal/methods-Spécification et Vérification formelles des systèmes
[FormalMet]
Weight: 2.50
Credits for track: 2.50
Ingénieur de Spécialisation Diplôme d'Ingénieur de spécialisation en Sécurité des Systèmes Informatiques et des Communications [spe-sec] s12 Contexte Applicatif de la Sécurité _II
[ue_spe-sec-s12-pers]
ECTS: 7.50
Formal/methods-Spécification et Vérification formelles des systèmes
[FormalMet]
Weight: 2.50
Credits for track: 2.50