Algorithme adaptatives  Algorithmes  Algorithmes de Keller-Gehrig  Algèbre linéaire  Algèbre linéaire exacte  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 auxilliaires  Attaques par canaux cachés  BLAS  Bibliothèque mathématique générique  Big data  Blas  Bornes inférieures  Calcul Multi Parties Sécurisé  Calcul d'erreur  Calcul exact  Calcul externalisé  Calcul haute-performance  Calcul multipartite  Calcul parallèl  Carte à puce  Certification  Certification de programmes  Coq  Cryptographie  Infrastructures à clés publiques  Parallélisme  Preuve  Sécurité  

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 la thèse suivante :

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

par Nicolas Bordes sous la direction de Jean-Guillaume Dumas , Pierre Karpman et de Paolo Maistri . - Université Grenoble Alpes

Mathématiques et Informatique

En préparation depuis le 01-10-2018

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

Protocoles de calculs externalisé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 . - Université Grenoble Alpes

Mathématiques et Informatique

Soutenue le 10-07-2020

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

par Jean-Baptiste Orfila sous la direction de Jean-Guillaume Dumas - Université Grenoble Alpes (ComUE)

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 . - Université Grenoble Alpes (ComUE)

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 . - Université Grenoble Alpes (ComUE)

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 . - Grenoble 1

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 - Université Grenoble Alpes (ComUE)

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 . - Université Grenoble Alpes (ComUE)

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 . - Université Paris-Saclay (ComUE)

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 3 thèses suivantes :

Secure Distributed MapReduce Protocols : How to have privacy-preserving cloud applications?

par Matthieu Giraud sous la direction de Pascal Lafourcade - Clermont Auvergne

Informatique

Soutenue le 24-09-2019

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