Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Peter
Schwabe
IdRef
Mots clés
FR
|
EN
Informatique
Cryptographie
Attaque par canaux auxiliaires
Implémentations efficaces
Contremesures
Sécurité prouvée
Assembleur
Vérification Formelle
Standards
Implémentations
SIMD
Arithmétique multiprécision
Méthodes formelles
Preuves
Compilation
Correction fonctionnelle
Sûreté mémoire
Canaux auxiliaires
Liste des thèses par rôle
Rapporteur / Rapporteuse pour 2 thèse(s)
Examinateur / Examinatrice pour 3 thèse(s)