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
Jonathan
Protzenko
IdRef
Mots clés
FR
|
EN
Cryptographie
Informatique
Vérification de programme
Langage dédié
Méthodes formelles
Droit
Langages de programmation impératifs
ML (langage de programmation)
Algorithmes
Vérification Formelle
Standards
Implémentations
SIMD
Arithmétique multiprécision
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)
Directeur / Directrice de 1 thèse(s)
Examinateur / Examinatrice pour 2 thèse(s)