Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > T > Trieu Alix
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée
  • Consulter la notice
  • Date de publication : 
    • 04-12-2018  | 
  • Auteur(s) : 
    • Trieu Alix  | 
  • Editeur(s) : 
    • Universite de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Les attaques par canaux cachés sont une forme d'attaque particulièrement dangereuse. Dans cette thèse, nous nous intéressons au canal caché temporel. Un programme est dit ''constant-time'' lorsqu'il n'est pas vulnérable aux attaques par canal caché temporel. Nous présentons dans ce manuscrit deux méthodes reposant sur l'analyse statique afin de s'assurer qu'un programme est constant-time. Ces méth...


  • Référencé le  : 
    • 17-06-2019
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI