Description de la formation
É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