Jean-Guillaume Dumas
Mots clés
FR |
EN
Cryptographie
Algèbre linéaire exacte
Algèbre linéaire
Coq
Protection de l'information (informatique)
Parallélisme
Bibliothèque mathématique générique
Multiplication matricielle dense/SpMV
Matrice dense/creuse
Ordonnancements/jeu de galet
Patrons de conception
Calcul exact
Cryptanalyse différentielle
Preuve
Sécurité
Modèle calculatoire
Infrastructures à clés publiques
Effets calculatoires
Preuves de programmes
Sémantique équationnelle