Établissement ou école : Mines Nancy
Dates : jeudi 31 octobre
Public (Matière, Filières) : enseignants CPGE
Nombre de places offertes (20 en présentiel)
Lieu de la formation : Mines Nancy - 92 rue du Sergent Blandan, 54000 Nancy
Intitulé du stage : Informatique
Programme :
09h00 > 10h00 : Accueil et présentation de l’école
10h00 > 12h00 : « Logique » (Jean-Yves Marion)
Qu’est-ce qu’une démonstration ? Peut-on résoudre tous les problèmes ?
Est-ce que les mathématiques sont cohérentes ? Quelles sont les limites
des calculs ? Ce cours abordera ces questions. Les développements et
les applications de la logique touchent la philosophie, la linguistique,
l’informatique (complexité, démonstration automatique, sécurité, base
de données), et les systèmes complexes.
12h00 > 13h30 : Déjeuner
13h30 > 15h30 : « Du code source au code binaire, la compilation » (Guillaume Bonfante)
Nous montrons par l’exemple
certains principes de compilation. La présentation s’appuie sur le cours
donné à l’École des Mines de Nancy.
15h30 > 15h45 : Pause
15h45 > 17h45 : « Logique et Sécurité : attaques par canaux auxiliaires » (Vincent Laporte)
Les programmes qui manipulent des données sensibles (cryptographie,
vérification de mot de passe, etc.) font parfois fuir des informations
confidentielles par des biais inattendus, comme les variations du temps
de calcul. De telles fuites peuvent mener à des attaques dites par
canaux auxiliaires.
Nous étudierons comment décrire formellement de tels canaux
auxiliaires et la sécurité vis-à-vis de ces attaques. En outre, nous
verrons comment se prémunir contre de telles attaques, comment vérifier
qu’un programme est bien protégé et comment prouver qu’une contre-mesure
garantit la sécurité.
17h45 > 19h00 : Cocktail découverte du TechLab de Mines Nancy
Informations
pratiques :
Restauration : Oui - Prise en charge par l’école
Possibilité d’hébergement : Non pris en charge par l'école
