Algorithme adaptatives  Algorithmes  Algorithmes de Keller-Gehrig  Algèbre linéaire  Algèbre linéaire exacte  Algèbre linéaire formelle  Architectures de sécurité  Arithmétique des courbes elliptiques  Arithmétique en virgule flottante  Arithmétique modulaire  Arithmétique multiprécision  Assistants de preuve  Attaque par observation de signaux compromettants  Attaques par canaux auxiliaires  Attaques par canaux cachés  BLAS  Bibliothèque mathématique générique  Blas  Bornes inférieures  Calcul Multi Parties Sécurisé  Calcul d'erreur  Calcul exact  Calcul haute-performance  Calcul parallèl  Canaux auxiliaires  Carte à puce  Certification  Certification de programmes  Certificats  Certificats interactifs  Chiffrements par bloc  Coq  Cryptographie  Infrastructures à clés publiques  Parallélisme  Preuve  

Jean-Guillaume Dumas a rédigé la thèse suivante :

Algorithmes parallèles efficaces pour le calcul formel : algèbre linéaire creuse et extensions algébriques

par Jean-Guillaume Dumas sous la direction de Brigitte Plateau - Grenoble INPG

Mathématiques appliquées

Soutenue en 2000

Jean-Guillaume Dumas dirige actuellement les 2 thèses suivantes :

Primitives symétriques de faible complexité multiplicative, attaques canaux auxiliaires et masquage

par Nicolas Bordes sous la direction de Jean-Guillaume Dumas et de Paolo Maistri . - Grenoble Alpes

Mathématiques et Informatique

En préparation depuis le 18-09-2018

Protocoles de calculs distribués efficaces et sécurisés pour l'algèbre linéaire

par David Lucas sous la direction de Clément Pernet et de Jean-Guillaume Dumas . - Grenoble Alpes

Mathématiques et Informatique

En préparation depuis le 26-09-2016

Jean-Guillaume Dumas a dirigé les 6 thèses suivantes :

Evaluation de la confiance dans les architectures de sécurité

par Jean-Baptiste Orfila sous la direction de Jean-Guillaume Dumas - Grenoble Alpes

Mathématiques et Informatique

Soutenue le 03-07-2018

Algèbre linéaire exacte, parallèle, adaptative et générique

par Ziad Sultan sous la direction de Jean-Guillaume Dumas et de Clément Pernet . - Grenoble Alpes

Mathématiques Appliquées

Soutenue le 17-06-2016

Certification de programmes avec des effets calculatoires

par Burak Ekici sous la direction de Jean-Guillaume Dumas et de Dominique Duval . - Grenoble Alpes

Mathématiques et informatique

Soutenue le 09-12-2015

Multiplication matricielle efficace et conception logicielle pour la bibliothèque de calcul exact LinBox

par Brice Boyer sous la direction de Jean-Guillaume Dumas - Grenoble

Mathématiques

Soutenue le 21-06-2012

Algorithmes hybrides pour le contrôle optimal des systèmes non linéaires

par Aude Rondepierre sous la direction de Jean Della Dora et de Jean-Guillaume Dumas . - Grenoble INPG

Mathématiques appliquées

Soutenue en 2006

Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique

par Clément Pernet sous la direction de Dominique Duval et de Jean-Guillaume Dumas . - Université Joseph Fourier (Grenoble)

Mathématiques appliquées

Soutenue en 2006

Jean-Guillaume Dumas a été président de jury des 3 thèses suivantes :

Hoare-like verification of graph transformation

par Jon Haël Brenas sous la direction de Rachid Echahed - Grenoble Alpes

Mathématiques et informatique

Soutenue le 13-10-2016

Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire

par Mathilde Duclos sous la direction de Yassine Lakhnech et de Pierre Corbineau . - Grenoble Alpes

Informatique

Soutenue le 29-01-2016

Etudes cryptographiques et statistiques de signaux compromettants

par Yanis Linge sous la direction de Sophie Lambert-Lacroix et de Cécile Dumas . - Grenoble

Mathématiques appliquées

Soutenue le 22-11-2013

Jean-Guillaume Dumas a été rapporteur des 2 thèses suivantes :

Sécurisation des algorithmes de couplages contre les attaques physiques

par Damien Jauvart sous la direction de Louis Goubin , Jacques J. A. Fournier et de Nadia El Mrabet . - Paris Saclay

Informatique

Soutenue le 20-09-2017

Opérateurs arithmétiques parallèles pour la cryptographie asymétrique

par Thomas Izard sous la direction de Laurent Imbert - Montpellier 2

Informatique

Soutenue le 19-12-2011

Jean-Guillaume Dumas a été membre de jury des 2 thèses suivantes :

Towards reproducible, accurately rounded and efficient BLAS

par Chemseddine Chohra sous la direction de Philippe Langlois et de David Parello . - Perpignan

Informatique

Soutenue le 10-03-2017

Représentations des polynômes, algorithmes et bornes inférieures

par Bruno Grenet sous la direction de Pascal Koiran - Lyon, École normale supérieure

Informatique

Soutenue le 29-11-2012