Aperçu de la section

  • Description de la formation

    Tout replier Tout déplier

    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

    • S'inscrire au stage (lien)

    • Description de la formation

      Par défaut cette section est publique et visible par tous les visiteurs
      1 - É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