5G  Algorithme Valence  Algorithme adaptatives  Algorithme de Wiedemann  Algorithmes  Algorithmes de Keller-Gehrig  Algoritme parallèle  Algèbre linéaire  Algèbre linéaire exacte  Allocation d'actifs  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  Attestation en profondeur  BLAS  Bibliothèque mathématique générique  Big data  Blas  Blind signature  Blockchain  Calcul exact  Coq  Cryptanalyse différentielle  Cryptographie  Infrastructures à clés publiques  Modèle calculatoire  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 a dirigé les 9 thèses suivantes :

Relation risque-rendement : le cas de la technologie Blockchain et du Crypto-marché

par Mihaela Florentina Soiman sous la direction de Sonia Jimenez-Garces et de Jean-Guillaume Dumas . - Université Grenoble Alpes

Sciences de gestion

Soutenue le 07-12-2022

Sécurité des primitives symétriques et de leurs implémentations

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

Mathématiques et informatique

Soutenue le 09-12-2021

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 . - Université Joseph Fourier (Grenoble ; 1971-2015)

Mathématiques appliquées

Soutenue en 2006

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

Analyse des biais de RNG pour les mécanismes cryptographiques et applications industrielles

par Mohamed Traore sous la direction de Philippe Elbaz-Vincent - Université Grenoble Alpes

Mathématiques

Soutenue le 23-05-2022

Security and optimization of blockchains and associated algorithms

par Mirko Koscina sous la direction de David Naccache et de Pascal Lafourcade . - Université Paris sciences et lettres

Informatique

Soutenue le 05-10-2021

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

Theoretical and practical contributions to homomorphic encryption

par Nagarjun Chinthamani Dwarakanath sous la direction de Louis Goubin - université Paris-Saclay

Informatique

Soutenue le 13-12-2021

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

Design and analysis of provably secure protocols : Applications to messaging and attestation

par Léo Robert sous la direction de Pascal Lafourcade et de Cristina Onete . - Université Clermont Auvergne (2021-...)

Informatique

Soutenue le 22-09-2022

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

par Matthieu Giraud sous la direction de Pascal Lafourcade - Université Clermont Auvergne‎ (2017-2020)

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