Description de la formation
PROGRAMME
09h00 > 10h00 : Accueil et présentation de l’école
10h00 > 12h00 :
Info 1 : "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 :
Info 2 : "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 :
Info 3 : "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
Description de la formation
Par défaut cette section est publique et visible par tous les visiteurs1 - Établissement ou école
2 - Dates
3 - Public (Matière, Filières)
4 - Nombre de places offertes (présentiel/distanciel)
5 - Lieu de la formation (adresse complète)
6 - Intitulé du stage
7 - Noms et qualités des intervenants, adresse de contact
8 - Descriptif - Mots clés
9 - Informations pratiques :
Restauration : Oui/Non - Prise en charge par l’école / Aux frais des stagiaires
Possibilité d’hébergement : Oui/Non (conditions éventuelles)
10 - Prérequis
11 - Programme