Jean-Guillaume Dumas - Liste de publications - Jean-Guillaume Dumas

Jean-Guillaume Dumas
Publications Co-authors Editorial activities Talks Popularization
Jean-Guillaume Dumas

Exact linear algebra: [75] [71] [70] [65] [64] [59] [58] [52] [49] [35] [34] [31] [29] [28] [20] [16] [15] [14] [12] [11] [9] [7] [5]
Arithmetics, cryptology, coding theory: [77] [76] [74] [73] [72] [68] [67] [66] [63] [61] [60] [56] [50] [48] [46] [44] [43] [41] [40] [33] [32] [30] [27] [25] [24] [23] [22]
Models of computation and software engineering: [62] [55] [54] [53] [47] [45] [42] [39] [37] [36] [18] [8] [2]
Parallel algorithms: [69] [57] [38] [26] [21] [19] [10] [6] [4] [3] [1]
Hybrid symbolic-numeric algorithms: [51] [17] [13]
Jean-Guillaume
	    Dumas 2017  Jean-Guillaume Dumas
[ 77 ] Jean-Guillaume Dumas   Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits (pdf@ACM). Jean-Guillaume Dumas, Erich Kaltofen, Gilles Villard et Lihong Zhi.
ISSAC 2017 : ACM International Symposium on Symbolic and Algebraic Computations, pages 125--132, Kaiserslautern, Deutschland, 25--28 Juillet 2017.
[ 76 ] Jean-Guillaume Dumas   Certificates for triangular equivalence and rank profiles (pdf@ACM). Jean-Guillaume Dumas, David Lucas et Clément Pernet.
ISSAC 2017 : ACM International Symposium on Symbolic and Algebraic Computations, pages 133--140, Kaiserslautern, Deutschland, 25--28 Juillet 2017.
[ 75 ] Jean-Guillaume Dumas   Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition. Jean-Guillaume Dumas, Clément Pernet et Ziad Sultan.
Journal of Symbolic Computation. Volume 83, pages 187--210, Nov-Déc 2017.
[ 74 ] Jean-Guillaume Dumas   Dual protocols for private multi-party matrix multiplication and trust computations (formalisation & implémentation). Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila et Maxime Puys.
Computers & Security. À paraître, 2017.
[ 73 ] Jean-Guillaume Dumas   Prover efficient public verification of dense or sparse/structured matrix-vector multiplication. Jean-Guillaume Dumas et Vincent Zucca.
ACISP 2017, 22nd Australasian Conference on Information Security and Privacy, Auckland, New Zealand, 3--7 Juillet 2017.
Lecture Notes in Computer Science. Volume 10343, pages 115--134.
[ 72 ] Jean-Guillaume Dumas   LocalPKI: A User-Centric Formally Proven Alternative to PKIX (Tamarin files). Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila et Pascal Thoniel.
SECRYPT 2017 : 14th International Conference on Security and Cryptography, Madrid, Espagne, 24--26 Juillet 2017.
ICETE 2017. Volume 6, pages 187-199.
Jean-Guillaume
	    Dumas 2016  Jean-Guillaume Dumas
[ 71 ] Jean-Guillaume Dumas   Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix (pdf@ACM). Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard.
ISSAC 2016 : ACM International Symposium on Symbolic and Algebraic Computations, pages 199--206, Waterloo, Canada, 20--22 Juillet 2016.
[ 70 ] Jean-Guillaume Dumas   Matrix multiplication over word-size modular rings using approximate formulae (pdf@ACM). Brice Boyer et Jean-Guillaume Dumas.
ACM Transactions on Mathematical Software, Volume 42, issue 3, pages 20:1--20:12, juin 2016.
[ 69 ] Jean-Guillaume Dumas   Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch et Ziad Sultan.
Parallel Computing, Volume 57, pages 235--249, Septembre 2016.
[ 68 ] Jean-Guillaume Dumas   Physical Zero-Knowledge Proofs for Akari, Kakuro, KenKen and Takuzu. Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas et Pascal Lafourcade.
FUN 2016 : 8th International Conference on Fun with Algorithms, Maddalena Islands, Italie, 8--10 Juin 2016.
Leibniz International Proceedings in Informatics. Volume 49, pages 8:1--8:20.
[ 67 ] Jean-Guillaume Dumas   Private Multi-party Matrix Multiplication and Trust Computations (formalisation & implémentation). Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila et Maxime Puys.
SECRYPT 2016 : 13th International Conference on Security and Cryptography, (best paper award), Lisbonne, Portugal, 26--28 Juillet 2016.
ICETE 2016. Volume 4, pages 61--72.
[ 66 ] Jean-Guillaume Dumas   Recursive double-size fixed precision arithmetic. Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse et Pascal Giorgi.
ICMS 2016 : 5th International Congress on Mathematical Software, Berlin, Allemagne, 11--15 Juillet 2016.
Lecture Notes in Computer Science. Volume 9725, pages 223--231.
[ 65 ] Jean-Guillaume Dumas   Fast Matrix Multiplication and Symbolic Computation. Jean-Guillaume Dumas, Victor Y. Pan.
Rapport de Recherche IMAG-hal-01417524, arXiv: cs.SC/1612.05766. Décembre 2016.
Jean-Guillaume
	    Dumas 2015  Jean-Guillaume Dumas
[ 64 ] Jean-Guillaume Dumas   Computing the rank profile matrix (pdf@ACM). Jean-Guillaume Dumas, Clément Pernet et Ziad Sultan.
ISSAC 2015 : ACM International Symposium on Symbolic and Algebraic Computations (distinguished paper award), pages 146--153, Bath, UK, 6--10 Juillet 2015.
[ 63 ] Jean-Guillaume Dumas   Brandt's Fully Private Auction Protocol Revisited. Jannik Dreier, Jean-Guillaume Dumas et Pascal Lafourcade.
Journal of Computer Security, 23(5), pages 587--610, special issue on Security and High Performance Computing Systems, 2015.
[ 62 ] Jean-Guillaume Dumas   Relative Hilbert-Post completeness for exceptions. Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous et Jean-Claude Reynaud.
MACIS 2015 : Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Berlin, Allemagne, 11--13 Novembre 2015.
Lecture Notes in Computer Science. Volume 9582, pages 596--610.
[ 61 ] Jean-Guillaume Dumas  
Architectures PKI et communications sécurisées Architectures PKI et communications sécurisées. Jean-Guillaume Dumas, Pascal Lafourcade et Patrick Redon.
Dunod, 398 pages, Juillet 2015.
Errata.
[ 60 ] Jean-Guillaume Dumas  
Foundations of Coding: Compression, Encryption (cryptology), Error-Correction (coding theory) Foundations of Coding: Compression, Encryption, Error-Correction. Jean-Guillaume Dumas, Jean-Louis Roch, Éric Tannier et Sébastien Varrette.
Wiley, 373 pages, Février 2015.
[ 59 ] Jean-Guillaume Dumas   Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices. Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé.
Rapport de Recherche IMAG-hal-01171249, arXiv: cs.SC/1507.01083. Juillet 2015.
Jean-Guillaume
	    Dumas 2014  Jean-Guillaume Dumas
[ 58 ] Jean-Guillaume Dumas   Essentially optimal interactive certificates in linear algebra (pdf@ACM). Jean-Guillaume Dumas et Erich Kaltofen.
ISSAC 2014 : ACM International Symposium on Symbolic and Algebraic Computations, pages 146--153, Kobe, Japan, 23--25 Juillet 2014.
[ 57 ] Jean-Guillaume Dumas   Parallel computation of echelon forms. Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet et Ziad Sultan.
Euro-Par 2014 : 20th international conference on parallel processing, Porto, Portugal, 25--29 Août 2014.
Lecture Notes in Computer Science. Volume 8632, pages 499--510.
[ 56 ] Jean-Guillaume Dumas   On Newton-Raphson iteration for multiplicative inverses modulo prime powers. Jean-Guillaume Dumas.
IEEE Transactions on Computers, volume 63, number 8, pages 2106--2109, août 2014.
[ 55 ] Jean-Guillaume Dumas   Elements of Design for Containers and Solutions in the LinBox Library. Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders.
ICMS 2014 : Fourth International Congress on Mathematical Software, Séoul, Corée, 5--9 Août 2014.
Lecture Notes in Computer Science. Volume 8592, pages 654--662.
[ 54 ] Jean-Guillaume Dumas   Certified proofs in programs involving exceptions. Jean-Guillaume Dumas, Dominique Duval, Burak Ekici et Jean-Claude Reynaud.
CICM 2014 : Eigth Conference on Intelligent Computer Mathematics, Coimbra, Portugal, 7--11 Juillet 2014.
CEUR Workshop Proceedings, n° 1186, paper 20.
[ 53 ] Jean-Guillaume Dumas   Formal verification in Coq of program properties involving the global state effect. Jean-Guillaume Dumas, Dominique Duval, Burak Ekici et Damien Pous.
JFLA 2014 : Journées Francophones des Langages Applicatifs, pages 1--15, Fréjus, France, 8--11 Janvier 2014.
Jean-Guillaume
	    Dumas 2013  Jean-Guillaume Dumas
[ 52 ] Jean-Guillaume Dumas   Simultaneous computation of the row and column rank profiles (pdf@ACM). Jean-Guillaume Dumas, Clément Pernet et Ziad Sultan.
ISSAC 2013 : ACM International Symposium on Symbolic and Algebraic Computations, pages 181--188, Boston, USA, 26--29 Juin 2013.
[ 51 ] Jean-Guillaume Dumas   Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source. Grégory Nuel et Jean-Guillaume Dumas.
Theoretical Computer Science, volume 479, special issue on Symbolic Numeric Algorithms, pages 22--42, avril 2013.
[ 50 ] Jean-Guillaume Dumas   Attacking Privacy in a Fully Private Auction Protocol. Jannik Dreier, Jean-Guillaume Dumas et Pascal Lafourcade.
AfricaCrypt 2013 : 6th International Conference on Cryptology in Africa, Le Caire, Égypte, 22--24 Juin 2013.
Lecture Notes in Computer Science. Volume 7918, pages 88--106, Springer, Heidelberg, 2013.
[ 49 ] Jean-Guillaume Dumas  
Handbook of Finite Fields Computational linear algebra over finite fields. Jean-Guillaume Dumas et Clément Pernet.
Dans Handbook of Finite Fields, Daniel Panario et Gary L. Mullen editors. Chapman & Hall / CRC, Juin 2013, pages 514--528.
Errata.
[ 48 ] Jean-Guillaume Dumas  
Théorie des codes : Compression, Cryptage
	    (cryptologie, Cryptographie), Correction (Codes
	    correcteurs) Théorie des codes : Compression, Cryptage, Correction. Jean-Guillaume Dumas, Jean-Louis Roch, Éric Tannier et Sébastien Varrette.
Dunod, 386 pages, 2e édition, Août 2013.
Jean-Guillaume
	    Dumas 2012  Jean-Guillaume Dumas
[ 47 ] Jean-Guillaume Dumas   A duality between exceptions and states. Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse et Jean-Claude Reynaud.
Mathematical Structures in Computer Science, Volume 22, issue 4, pages 719--722, août 2012.
[ 46 ] Jean-Guillaume Dumas   Matrix Powers algorithms for trust evaluation in public-key infrastructures. Jean-Guillaume Dumas et Hicham Hossayni.
STM 2012 : 8th International Workshop on Security and Trust Management (part of ESORICS 2012), Pise, Italie, 10--14 septembre 2012.
Lecture Notes in Computer Science. Volume 7783, pages 129--144, Springer, Heidelberg, 2013.
[ 45 ] Jean-Guillaume Dumas   Decorated proofs for computational effects: States. Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse et Jean-Claude Reynaud.
ACCAT 2012 : 7th Applied and Computational Category Theory (part of ETAPS 2012), Tallinn, Estonie, 24 Mars -- 1 Avril 2012.
Electronic Proceedings in Theoretical Computer Science. Volume 93, pages 45--59, août 2012.
Jean-Guillaume
	    Dumas 2011  Jean-Guillaume Dumas
[ 44 ] Jean-Guillaume Dumas   Rank properties of subspaces of symmetric and hermitian matrices over finite fields. Jean-Guillaume Dumas, Roderick Gow et John Sheekey.
Finite Fields and their Applications, Volume 17, Issue 6, pages 504--520, novembre 2011.
[ 43 ] Jean-Guillaume Dumas   Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields. Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy.
Journal of Symbolic Computations. Volume 46, issue 7, pages 823--840, juillet 2011.
[ 42 ] Jean-Guillaume Dumas   Cartesian effect categories are Freyd-categories. Jean-Guillaume Dumas, Dominique Duval et Jean-Claude Reynaud.
Journal of Symbolic Computations. Volume 46, issue 3, pages 272--293, mars 2011.
Jean-Guillaume
	    Dumas 2010  Jean-Guillaume Dumas
[ 41 ] Jean-Guillaume Dumas   Subspaces of matrices with special rank properties. Jean-Guillaume Dumas, Roderick Gow, Gary McGuire et John Sheekey.
Linear Algebra and its Applications. Volume 433, Issue 1, pages 191--202, July 2010.
[ 40 ] Jean-Guillaume Dumas   Les rayons des permutations spirales. Jean-Guillaume Dumas.
Mathématiques et Sciences Humaines. Volume 192, nº 4, pages 5--27, hiver 2010.
[ 39 ] Jean-Guillaume Dumas   LinBox founding scope allocation, parallel building blocks, and template separate compilation. Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet et B. David Saunders.
ICMS 2010 : Third International Congress on Mathematical Software, Kobe, Japon, 13--17 Septembre 2010.
Lecture Notes in Computer Science. Volume 6327, pages 77--83.
[ 38 ] Jean-Guillaume Dumas   Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures (pdf@ACM). Brice Boyer, Jean-Guillaume Dumas et Pascal Giorgi.
PASCO 2010 : Parallel Symbolic Computation'10, pages 80--88, 21-23 juillet, Grenoble, France.
[ 37 ] Jean-Guillaume Dumas   Generic design of Chinese remaindering schemes (pdf@ACM). Jean-Guillaume Dumas, Thierry Gautier et Jean-Louis Roch.
PASCO 2010 : Parallel Symbolic Computation'10, pages 26--34, 21-23 juillet, Grenoble, France.
[ 36 ] Jean-Guillaume Dumas  
Contributions au calcul
	    exact intensif Contributions au calcul exact intensif. Jean-Guillaume Dumas.
Habilitation à diriger des recherches. 20 juillet 2010, Laboratoire Jean Kuntzmann, Grenoble.
Jean-Guillaume
	    Dumas 2009  Jean-Guillaume Dumas
[ 35 ] Jean-Guillaume Dumas   Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm (pdf@ACM). Brice Boyer, Jean-Guillaume Dumas, Clément Pernet et Wei Zhou.
ISSAC 2009 : ACM International Symposium on Symbolic and Algebraic Computations, pages 135--143, Séoul, Corée du Sud, 28-31 Juillet 2009.
[ 34 ] Jean-Guillaume Dumas   On finding multiplicities of characteristic polynomial factors of black-box matrices (pdf@ACM). Jean-Guillaume Dumas, Clément Pernet et B. David Saunders.
ISSAC 2009 : ACM International Symposium on Symbolic and Algebraic Computations, pages 55--62, Séoul, Corée du Sud, 28-31 Juillet 2009.
[ 33 ] Jean-Guillaume Dumas   Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable. Alexandre Berzati, Cécile Canovas, Jean-Guillaume Dumas et Louis Goubin.
CT-RSA 2009 : RSA Conference 2009, Cryptographers' Track San Francisco, USA, 20-24 avril 2009.
Lecture Notes in Computer Science. Volume 5473, pages 414--428.
Jean-Guillaume
	    Dumas 2008  Jean-Guillaume Dumas
[ 32 ] Jean-Guillaume Dumas   Q-adic Transform revisited (pdf@ACM). Jean-Guillaume Dumas.
ISSAC 2008 : ACM International Symposium on Symbolic and Algebraic Computations, pages 63--69, Hagenberg, Autriche, 20-23 Juillet 2008.
[ 31 ] Jean-Guillaume Dumas   Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages (pdf@ACM). Jean-Guillaume Dumas, Pascal Giorgi et Clément Pernet.
ACM Transactions on Mathematical Software. Volume 35, n° 3, 34 pp, Novembre 2008.
[ 30 ] Jean-Guillaume Dumas   Caractérisation des Quenines et leur représentation spirale. Jean-Guillaume Dumas.
Mathématiques et Sciences Humaines. n° 184, pages 9--23, volume 4, hiver 2008.
[ 29 ] Jean-Guillaume Dumas   Compressed Modular Matrix Multiplication. Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy.
MICA 2008 : Milestones in Computer Algebra, pages 133--140, Stonehaven Bay, Trinidad and Tobago, 1-3 May 2008.
Jean-Guillaume
	    Dumas 2007  Jean-Guillaume Dumas
[ 28 ] Jean-Guillaume Dumas   Bounds on the coefficients of the characteristic and minimal polynomials.Jean-Guillaume Dumas.
Journal of Inequalities in Pure and Applied Mathematics. vol. 8, n°2, art. 31, 6 pp, Avril 2007.
[ 27 ] Jean-Guillaume Dumas  
Théorie des codes : Compression, Cryptage
	    (cryptologie, Cryptographie), Correction (Codes
	    correcteurs) Théorie des codes : Compression, Cryptage, Correction. Jean-Guillaume Dumas, Jean-Louis Roch, Éric Tannier et Sébastien Varrette.
Dunod, 353 pages, Janvier 2007.
Errata 2007, Retirage corrigé 2009.
[ 26 ] Jean-Guillaume Dumas   Parallel Computation of the Rank of Large Sparse Matrices from Algebraic K-theory (pdf@ACM). Jean-Guillaume Dumas, Pascal Giorgi, Philippe Elbaz-Vincent et Anna Urbańska.
PASCO 2007 : Parallel Symbolic Computation'07, pages 43--52, 26-27 juillet, Waterloo, Canada.
Jean-Guillaume
	    Dumas 2006  Jean-Guillaume Dumas
[ 25 ] Jean-Guillaume Dumas   Efficient polynomial time algorithms computing industrial-strength primitive roots. Jacques Dubrois et Jean-Guillaume Dumas.
Information Processing Letters, 97/2, pages 41--45, janvier 2006.
[ 24 ] Jean-Guillaume Dumas  

[ 23 ] Jean-Guillaume Dumas  

[ 22 ] Jean-Guillaume Dumas  

Cryptographie et sécurité
            des systèmes et réseaux
Architectures PKI. Jean-Guillaume Dumas, Franck Leprevost, Jean-Louis Roch, and Sébastien Varrette.
Dans Cryptographie et sécurité des systèmes et réseaux, T. Ebrahimi, F. Leprevost, and B. Warusfeld, éditeurs, Hermès 2006, pages 187--210.
Cryptographie à clef secrète. Pascal Bouvry, Jean-Guillaume Dumas, Roland Gillard, Jean-Louis Roch et Sébastien Varrette.
Dans Cryptographie et sécurité des systèmes et réseaux, T. Ebrahimi, F. Leprevost, and B. Warusfeld, éditeurs, Hermès 2006, pages 23--102.
Cryptographie à clef publique. Jean-Guillaume Dumas, Franck Leprevost, Jean-Louis Roch, Valentin Savin et Sébastien Varrette.
Dans Cryptographie et sécurité des systèmes et réseaux, T. Ebrahimi, F. Leprevost, and B. Warusfeld, éditeurs, Hermès 2006, pages 103--186.
[ 21 ] Jean-Guillaume Dumas   Adaptive Triangular System Solving. Jean-Guillaume Dumas, Clément Pernet et Jean-Louis Roch.
Challenges in Symbolic Computation Software, Dagstuhl Seminar proceedings 06271, paper 770. Octobre 2006, Allemagne.
[ 20 ] Jean-Guillaume Dumas   An introspective algorithm for the integer determinant. Jean-Guillaume Dumas et Anna Urbańska.
Transgressive Computing 2006, 24-27 avril, Grenade, Espagne, pages 185--202.
[ 19 ] Jean-Guillaume Dumas   Adaptive and Hybrid Algorithms: classification and illustration on triangular system solving. Van-Dat Cung, Vincent Danjean, Jean-Guillaume Dumas, Thierry Gautier, Guillaume Huard, Bruno Raffin, Christophe Rapine, Jean-Louis Roch et Denis Trystram.
Transgressive Computing 2006, 24-27 avril, Grenade, Espagne, pages 131--148.
[ 18 ] Jean-Guillaume Dumas   Towards a diagrammatic modeling of the LinBox C++ linear algebra library. Jean-Guillaume Dumas et Dominique Duval.
LMO 2006 : Langages et Modèles à Objets, 22-24 Mars 2006, Nîmes, France.
Jean-Guillaume
	    Dumas 2005  Jean-Guillaume Dumas
[ 17 ] Jean-Guillaume Dumas   Algorithms for symbolic/numeric control of affine dynamical systems (pdf@ACM). Jean-Guillaume Dumas et Aude Rondepierre.
ISSAC 2005 : ACM International Symposium on Symbolic and Algebraic Computations, pages 277--284, 24-27 Juillet 2005, Beijing, Chine.
[ 16 ] Jean-Guillaume Dumas   Efficient Computation of the Characteristic Polynomial (pdf@ACM). Jean-Guillaume Dumas, Clément Pernet et Zhendong Wan.
ISSAC 2005 : ACM International Symposium on Symbolic and Algebraic Computations, pages 140--147, 24-27 Juillet 2005, Beijing, Chine.
Jean-Guillaume
	    Dumas 2004  Jean-Guillaume Dumas
[ 15 ] Jean-Guillaume Dumas   FFPACK: finite field linear algebra package (pdf@ACM). Jean-Guillaume Dumas, Pascal Giorgi et Clément Pernet.
ISSAC 2004 : ACM International Symposium on Symbolic and Algebraic Computations, pages 119--126, 4-7 Juillet 2004, Santander, España.
[ 14 ] Jean-Guillaume Dumas   Efficient dot product over finite fields. Jean-Guillaume Dumas.
CASC 2004 : Computer Algebra in Scientific Computing, pages 139--154, 12-19 Juillet 2004, Saint Petersburg, Russia.
Jean-Guillaume
	    Dumas 2003  Jean-Guillaume Dumas
[ 13 ] Jean-Guillaume Dumas   Modeling the electrical activity of a neuron by a continuous and piecewise linear hybrid system. Jean-Guillaume Dumas et Aude Rondepierre.
HSCC'03 (Hybrid Systems: Computation and Control), 3 -- 5 Avril 2003, Prague, république Tchèque.
Lecture Notes in Computer Science. Volume 2623, pages 156--171.
[ 12 ] Jean-Guillaume Dumas  
Algebra, Geometry and Software Systems Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms. Jean-Guillaume Dumas, Frank Heckenbach, B. David Saunders et Volkmar Welker.
Dans Algebra, Geometry and Software Systems, Michael Joswig and Nobuki Takayama, editors. Springer, mars 2003, pages 177--206.
Jean-Guillaume
	    Dumas 2002  Jean-Guillaume Dumas
[ 11 ] Jean-Guillaume Dumas   FFLAS: Finite field linear algebra subroutines (pdf@ACM). Jean-Guillaume Dumas, Thierry Gautier et Clément Pernet.
ISSAC 2002 : ACM International Symposium on Symbolic and Algebraic Computations, pages 63--74, 7-10 Juillet 2002, Lille, France.
[ 10 ] Jean-Guillaume Dumas   Parallel block algorithms for exact triangularizations. Jean-Guillaume Dumas et Jean-Louis Roch.
Parallel Computing. Volume 28, numéro 11, novembre 2002, pages 1531--1548.
[ 9 ] Jean-Guillaume Dumas   Computing the rank of large sparse matrices over finite fields. Jean-Guillaume Dumas et Gilles Villard.
CASC 2002 : Computer Algebra in Scientific Computing, pages 47--62, 22 - 27 Septembre 2002, Big Yalta, Crimea, Ukraine.
[ 8 ] Jean-Guillaume Dumas   LinBox: A Generic Library for Exact Linear Algebra, (PPT). Jean-Guillaume Dumas, Thierry Gautier, Mark Giesbrecht, Pascal Giorgi, Bradford Hovinen, Erich Kaltofen, B. David Saunders, Will J. Turner et Gilles Villard.
ICMS 2002 : International Congress of Mathematical Software, pages 40--50, 17 -- 19 Août, 2002, Beijing, China.
Jean-Guillaume
	    Dumas 2001  Jean-Guillaume Dumas
[ 7 ] Jean-Guillaume Dumas   On efficient sparse integer matrix Smith normal form computations   (HTML). Jean-Guillaume Dumas, B. David Saunders et Gilles Villard.
Journal of Symbolic Computation. 32 (1/2), pages 71--99, Juillet/Août 2001.
[ 6 ] Jean-Guillaume Dumas   A new parallel algorithm for exact triangularization of rectangular matrices (pdf@ACM). Jean-Guillaume Dumas et Jean-Louis Roch.
SPAA 2001 : Thirteenth ACM Symposium on Parallel Algorithms and Architectures, pages 324--325. 4-6 Juillet 2001, Crête.
Jean-Guillaume
	    Dumas 2000  Jean-Guillaume Dumas
[ 5 ] Jean-Guillaume Dumas   Smith form via the Valence : Experience with matrices from homology (pdf@ACM). Jean-Guillaume Dumas, B. David Saunders et Gilles Villard.
ISSAC 2000 : ACM International Symposium on Symbolic and Algebraic Computations, pages 95--105, 6-9 Août 2000, Saint Andrews, Écosse.
[ 4 ] Jean-Guillaume Dumas  
Algorithmes parallèles
	    efficaces pour le calcul formel Algorithmes parallèles efficaces pour le calcul formel :
algèbre linéaire creuse et extensions algébriques
. Jean-Guillaume Dumas.
Thèse de doctorat. 20 décembre 2000, Laboratoire Informatique et Distribution, Grenoble et University of Delaware, USA.
[ 3 ] Jean-Guillaume Dumas   Calcul parallèle du polynôme minimal entier en Athapascan-1 et Linbox. Jean-Guillaume Dumas.
RenPar 2000 : Douzièmes Rencontres du Parallélisme, pages 119--124, 19-22 Juin, Besançon, France.
[ 2 ] Jean-Guillaume Dumas   Simplicial Homology, a share package for GAP   (Web interface). Jean-Guillaume Dumas, Frank Heckenbach, B. David Saunders et Volkmar Welker.
manuel, Mars 2000.
Jean-Guillaume
	    Dumas 1997  Jean-Guillaume Dumas
[ 1 ] Jean-Guillaume Dumas   Calcul Parallèle avec des nombres algébriques réels (HTML). Jean-Guillaume Dumas.
Diplôme d'Études Approfondies/Projet de Fin d'Études d'ingénieur ENSIMAG, juin 1997, Laboratoire de Modélisation et Calcul, Grenoble.
Exposés
Conférences
Jean-Guillaume Dumas
Éditeur
Jean-Guillaume Dumas
Exposés
&
Posters
  1. Efficient bootstrapping of sparse matrix-vector multiplication public verification. Milestones in Computer Algebra (MICA 2016), 16-18 juillet, 2016, Waterloo, Canada.
  2. Architectures de sécurité. Formation @GP, Montélier, France, 14-15 juin 2016.
  3. Architectures PKI et communications sécurisées (avec Pascal Lafourcade et Patrick Redon). Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI) 2016, 10-13 mai 2016, Toulouse, France.
  4. Comment vérifier les résultats de calculs externalisés ? Séminaire sur la Confiance Numérique, 3 Décembre 2015, Clermont-Ferrand, France.
  5. Essentially Optimal Certificates in Linear Algebra. Workshop on Linear Computer Algebra and Symbolic-Numeric Computation, 26 octobre 2015, Fields Institute, Toronto, Canada.
  6. Sécuriser ses communications avec une architecture PKI (avec Pascal Lafourcade et Patrick Redon). Observatoire Zonal sur la Sécurité des Systèmes d'Information Sud-Est, 6 octobre 2015, Clermont-Ferrand, France.
  7. Attaques par perturbation sur RSA embarqué. Formation Tiempo-Secure, Montbonnot, France, 15-17 juin 2015.
  8. Generating S-Boxes from semi-fields pseudo-extensions (avec Jean-Baptiste Orfila). Digital Trust in Auvergne (SDTA) 2014, 4-5 Décembre, Clermont-Ferrand, France.
  9. Nouveautés sur les noyaux d'algèbre linéaire de LinBox. (JNCF 2014), Luminy, France, 3 novembre 2014.
  10. Matrix multiplication over word-size prime fields using Bini's approximate formula (avec Brice Boyer). ISSAC 2014, 23-25 Juillet, Kobe, Japon.
  11. Recursion based parallelization of exact dense linear algebra routines (avec Clément Pernet et Ziad Sultan). 8th International Workshop on Parallel Matrix Algorithms and Applications (PMAA'14), Lugano, Suisse, 4 juillet 2014.
  12. Approches creuses pour l'analyse exacte de motifs dans des séquences générées par une source Markovienne. Séminaire SPOC, IMB, Dijon, 21 mai 2014.
  13. Interactive certificates in linear algebra. LIP6, Paris, 19 mai 2014.
  14. Vérifier l'algèbre linéaire en temps linéaire. Séminaire Casys, LJK, Grenoble, 15 mai 2014.
  15. Parallel Computation of Echelon Forms and Rank Profiles (avec Clément Pernet et Ziad Sultan). 16th SIAM Conference on Parallel Processing for Scientific Computing (SIAM PP'14), Portland, USA, 18-21 février 2014.
  16. Approches creuses pour l'analyse exacte de motifs dans des séquences générées par une source Markovienne. Séminaire AriC, LIP, Lyon, 13 juin 2013.
  17. Reducing memory consumption in Strassen-like matrix multiplication (avec Brice Boyer). (ILAS 2013), Providence, USA, 4 juin 2013.
  18. Towards parallel linear algebra kernels over finite fields. (JNCF 2013), Luminy, France, 13 mai 2013.
  19. Verifiability in e-Auction Protocols (avec Jannik Dreier, Hugo Jonker et Pascal Lafourcade). 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot 2013), Rome, Italie, 17 Mars 2013.
  20. Computer Algebra Patterns : vers une architecture efficace, générique et pérenne de logiciels mathématiques. Séminaire BIPOP-CASYS. Grenoble, 20 janvier 2012.
  21. Exact linear algebra and algebraic topology. 2011 SIAM Conference on Applied Algebraic Geometry, Raleigh, USA, 6-9 octobre 2011.
  22. Sur la complexité du calcul du polynôme caractéristique. Séminaire SALSA, LIP6, Paris, 12 avril 2011.
  23. Approches creuses pour la distribution de motifs dans l'ADN et le protéome. Séminaire ARITH, LIRMM, Montpellier, 30 mars 2011.
  24. Éliminations de Gauss modulaires et certificat d'inversibilité. Cours au RAIM 2011. Perpignan, 7-10 février 2011.
  25. Codes correcteurs et espaces de matrices à rang constant. Séminaire SecPol. Grenoble, 2 décembre 2010.
  26. States and exceptions are dual effects (avec Dominique Duval, Laurent Fousse et Jean-Claude Reynaud). International Workshop on Categorical Logic. Masaryk University, Brno, Czech republic, 28-29 Août 2010.
  27. Linbox CRA computations on multicore architectures. (avec Thierry Gautier). DubLinBox. Dublin, Ireland, 4 Juin 2010.
  28. Finite semifields and the Frobenius normal form. The Claude Shannon Institute Workshop on Coding and Cryptography. Cork, Ireland, 17-18 May 2010.
  29. Primitive roots, spiral permutations and lyric poetry of troubadours. UCD School of Mathematical Sciences, Algebra seminars. Dublin, Ireland, 18 janvier 2010.
  30. Sequential computation and cartesian effect categories.Categorical Computer Science. Grenoble, France, 26 novembre 2009.
  31. Introspective algorithms for very fast exact linear algebra. Complex and Adaptive Systems Laboratory. Dublin, Ireland, 22 octobre 2009.
  32. Exact linear algebra for cryptology and codes. WCS'09 : Workshop on Coding and Systems. Dublin, Ireland, 2-4 Septembre 2009.
  33. Betti number and torsions via exact linear algebra. CAT'09 : CSRI Workshop on Combinatorial Algebraic Topology. Santa FE, NM, USA, 29-30 Août 2009.
  34. Linear Algebra Modulo Tiny Primes (avec B. David Saunders et Brian Youse). ACA'09 : 2009 IMACS Conference on Applications of Computer Algebra: High Performance Computer Algebra. Montreal, Canada, 25-28 Juin 2009.
  35. Polynôme caractéristique de matrices creuses, MAD circus, Grenoble, 25 juin 2009.
  36. Sequential products for effects (avec Dominique Duval et Jean-Claure Reynaud). ACCAT'09 : Applied and Computational Category Theory. York, UK, 22 mars 2009.
  37. Attaques laser sur RSA embarqué, MAD circus, Grenoble, 18 décembre 2008.
  38. Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields, Sage Days 10, Nancy, 10 octobre 2008.
  39. Arithmétique compressée pour des petits corps finis, RAIM 2008, Lille, 3 juin 2008.
  40. Comment casser RSA et le logarithme discret ?, Séminaire MAD, Grenoble, 31 janvier 2008.
  41. Compromis temps/mémoire en algèbre linéaire dense sur des corps finis, GDR Informatique Mathématique, Paris Diderot, 24 janvier 2008.
  42. Algèbre linéaire Exacte, Université d'Orsay, 28 mars 2007.
  43. Outils pour un intergiciel générique en calcul formel, Journées Nationales de Calcul Formel 2007, Marseille, 1 février 2007.
  44. Exact Linear Algebra Software, International Congress on Mathematical Software (ICMS'06), Castro Urdiales, Spain, 2 septembre 2006.
  45. Adaptive and Hybrid Algorithms, Dagstuhl-Seminar 06271/1, 5 juillet 2006.
  46. Résolution exacte de problèmes mal conditionnés, Institut Camille Jordan, Lyon, 30 mars 2006.
  47. Racines primitives industrielles, séminaire de cryptologie, Institut Fourier, Grenoble, 9 février 2006.
  48. Algèbre linéaire exacte, Université d'Orsay, 18 janvier 2006.
  49. Dessiner les calculs, modélisation diagrammatique de la bibliothèque LinBox, Calculs Symboliques, Grenoble, 16 décembre 2005.
  50. Le bon résultat tout de suite. Algèbre linéaire exacte, Ensimag, Grenoble, 14 décembre 2005.
  51. DML, a diagrammatic modeling language for object programming, Journées Nationales de Calcul Formel, Luminy, 24 novembre 2005.
  52. LinBox-1.0.0: exact algorithms beat numerical routines for ill-conditioned problems, LMC, séminaire Mosaic, Grenoble, 17 novembre 2005.
  53. LinBox-1.0.0: fast algorithms made efficient, Challenges in Linear and Polynomial Algebra in Symbolic Computation Software, Banff, Canada, 3 Octobre 2005.
  54. LinBox-1.0.0: a tutorial, Open Software for Algebraic and Geometric computation, Université de Nice Sophia Antipolis, 5 septembre 2005.
  55. LinBox-1.0.0: a demonstration, ISSAC 2005 Software Exhibitions, Beijing, Chine, 26 Juillet 2005.
  56. Adaptive FFLAS, Laboratoire ID, Montbonnot, 30 mai 2005.
  57. Evaluation dynamique en algèbre linéaire entière, Laboratoire LIP6, Paris, 17 décembre 2003.
  58. Topologie cellulaire et forme normale de Smith, Ecole Normale Supérieure de Lyon, 18 novembre 2003.
  59. Algorithmique de la Théorie des nombres. Cryptologie, Sécurité et Applications, Rabat, Maroc, 8-13 septembre 2003.
  60. Codes correcteurs d'erreurs, Conférences Midisciences, Grenoble, 25 mars 2003.
  61. Tutoriel LinBox, Ecole d'été, Outils de Calcul Symbolique Numérique Collaboratif, Giens, 17 septembre 2002.
  62. Exact sparse linear algebra. ACA 2002 : 8th International Conference on Applications of Computer Algebrai, Volos, Grèce, 25-28 Juin 2002.
  63. Calcul de groupes d'Homologie de Complexes simpliciaux : forme normale de Smith entière, Université de Montpellier II, 5 juin 2002.
  64. Exact Solution to Large Sparse Integer Linear Systems (avec Will J. Turner et Zhendong Wan). ECCAD 2002: The 9th Annual East Coast Computer Algebra Day, 18 Mai 2002, Long Island City, New York, USA.
  65. LinBox, certification et sécurisation sur grille, Laboratoire Informatique et Distribution, Grenoble, 16 mai 2002.
  66. LinBox, une bibliothèque générique efficace pour le calcul formel, Projet INRIA GALAAD, Sophia Antipolis, 29 avril 2002.
  67. Calcul d'Homologie de Complexes simpliciaux par l'algèbre linéaire, Institut Fourier, Grenoble, 4 avril 2002.
  68. Indigo, une bibliothèque générique pour les systèmes hybrides, Groupe de travail Systèmes Hybrides, MOSAIC, 7 février 2002.
  69. Analysis and Simulation of ODE using Hybrid Systems (avec Antoine Girard), European IST project CC (Control and Computation), Kick-Off meeting, Grenoble, 24-25 janvier 2002.
  70. Triangulation de Delaunay pour les systèmes hybrides, Atelier SQUASH, Verimag, 4 décembre 2001.
  71. Arithmétique efficace sur les corps finis, ou comment calculer exactement aussi vite qu'en numérique, LMC, séminaire MOSAIC, Grenoble, 25 octobre 2001.
  72. Calcul du rang et de la forme normale de Smith de très grandes matrices creuses entières, Université de Lyon, Gerland, 21 octobre 2001.
  73. FFLAS: finite field linear algebra subroutines, Université de Waterloo, Ontario, Canada, 8 août 2001.
  74. Forme normale de Smith : expérience avec de grandes matrices creuses, Projet INRIA GALAAD, Sophia Antipolis, 30 mai 2001.
  75. Valence : a blackbox method for the integer Smith normal form, LMC, séminaire de calcul formel, 22 juin 2000.
  76. Athapascan-1, interface de programmation pour la répartition dynamique de charge, Université des sciences et technologies de Lille, 26 novembre 1999.
  77. Simplicial Homology via the Valence Smith form algorithm, Université Technique de Berlin, 15 octobre 1999.
  78. On Mark Giesbrecht's rough extensions, Université du Delaware, États-Unis, 13 juillet 1999.
  79. Smith Form of Sparse Integer Matrices via Valence: Algorithm and Examples (avec B. David Saunders). ECCAD'99 : East Coast Computer Algebra Day 1999. North Carolina State University. 24 avril, Raleigh, Caroline du Nord.
  80. A new integer Smith form algorithm, LMC, séminaire de Parallélisme, Grenoble, 14 décembre 1998.
  81. Data-flow multithreaded parallelism in computer algebra algorithms (avec Jean-Louis Roch Thierry Gautier et Gilles Villard). ACA'98 : 1998 IMACS Conference on Applications of Computer Algebra : High Performance Symbolic Computing. Prague, République Tchèque, 9-11 Août 1998.
  82. Athapascan-1: Parallel Programming with Asynchronous Tasks, Université du Delaware, États-Unis, 14 Juillet 1998.
Jean-Guillaume Dumas


Vulgarisation
  1. Les crypto-monnaies, une réalité virtuelle ?. Jean-Guillaume Dumas et Pascal Lafourcade, Les Big Data à découvert, édition CNRS, mars 2017.
  2. La traçabilité des accès au fichier des titres électroniques sécurisés. Jean-Guillaume Dumas, Place Gre'Net, novembre 2016.
  3. Bitcoin a Peer-to-Peer payment solution: Security Considerations. Jean-Guillaume Dumas, Pascal Sygnet et Vincent Xuereb. Juin 2013.
  4. RSA : forces et faiblesses d'un Titan. Jean-Guillaume Dumas et Denis Trystram. Tangente, Hors-série n°26, Cryptographie et codes secrets, juin 2006.
  5. Les anniversaires des briseurs de code. Jean-Guillaume Dumas et Denis Trystram. Tangente, Hors-série n°26, Cryptographie et codes secrets, juin 2006.
  6. Signature électronique et hachage. Jean-Guillaume Dumas et Jean-Louis Roch. Tangente, Hors-série n°26, Cryptographie et codes secrets, juin 2006.
  7. Casser le code RSA ?, Jean-Guillaume Dumas. Sciences et Info prépas, hors série n° 2, Composition et décomposition, édité par Hervé Lehning, pages 74--77, Octobre 2001.

Jean-Guillaume Dumas

Dernière mise à jour : lundi 11 septembre 2017
http://ljk.imag.fr/membres/Jean-Guillaume.Dumas