Accéder directement au contenu

Jean-Guillaume Dumas

Professeur à l'UGA, directeur du LJK
122
Documents
Site web
  • https://membres-ljk.imag.fr/Jean-Guillaume.Dumas

Publications

Image document

What drives DeFi market returns?

Jean-Guillaume Dumas , Sonia Jimenez-Garces , Florentina Şoiman
Journal of International Financial Markets, Institutions and Money, 2023, 85 (101786), ⟨10.1016/j.intfin.2023.101786⟩
Article dans une revue hal-03625891v2
Image document

Some fast algorithms multiplying a matrix by its adjoint

Jean-Guillaume Dumas , Clément Pernet , Alexandre Sedoglavic
Journal of Symbolic Computation, 2023, 115 (March–April), pp.285-315. ⟨10.1016/j.jsc.2022.08.009⟩
Article dans une revue hal-03095393v1
Image document

Optimal Threshold Padlock Systems

Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade , Léo Robert
Journal of Computer Security, 2022, 30 (5), pp.655-688. ⟨10.3233/JCS-210065⟩
Article dans une revue hal-03497369v3
Image document

Elimination-based certificates for triangular equivalence and rank profiles

Jean-Guillaume Dumas , Erich L. Kaltofen , David Lucas , Clément Pernet
Journal of Symbolic Computation, 2020, 98, pp.246-269. ⟨10.1016/j.jsc.2019.07.013⟩
Article dans une revue hal-02191075v1
Image document

A Faster Cryptographer's Conspiracy Santa

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
Theoretical Computer Science, 2020, 839, pp.122-134. ⟨10.1016/j.tcs.2020.05.034⟩
Article dans une revue hal-02611751v1
Image document

LocalPKI: An Interoperable and IoT Friendly PKI

Jean-Guillaume Dumas , Pascal Lafourcade , Francis Melemedjian , Jean-Baptiste Orfila , Pascal Thoniel
Communications in Computer and Information Science, 2019, 990, pp.224-252. ⟨10.1007/978-3-030-11039-0_11⟩
Article dans une revue hal-01963269v1
Image document

Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations

Jean-Guillaume Dumas , Pascal Lafourcade , Jean-Baptiste Orfila , Maxime Puys
Computers and Security, 2017, 71, pp.51-70. ⟨10.1016/j.cose.2017.04.013⟩
Article dans une revue hal-01497866v1
Image document

Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition

Jean-Guillaume Dumas , Clément Pernet , Ziad Sultan
Journal of Symbolic Computation, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩
Article dans une revue hal-01251223v2
Image document

Matrix multiplication over word-size modular rings using approximate formulae

Brice Boyer , Jean-Guillaume Dumas
ACM Transactions on Mathematical Software, 2016, 42 (3-20), ⟨10.1145/2829947⟩
Article dans une revue hal-00987812v1
Image document

Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination

Jean-Guillaume Dumas , Thierry Gautier , Clément Pernet , Jean-Louis Roch , Ziad Sultan
Parallel Computing, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩
Article dans une revue hal-01084238v2
Image document

Brandt's fully private auction protocol revisited

Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
Journal of Computer Security, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. ⟨10.3233/JCS-150535⟩
Article dans une revue hal-01233555v1
Image document

On Newton-Raphson iteration for multiplicative inverses modulo prime powers

Jean-Guillaume Dumas
IEEE Transactions on Computers, 2014, 63 (8), pp.2106-2109. ⟨10.1109/TC.2013.94⟩
Article dans une revue hal-00736701v5
Image document

Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source

Grégory Nuel , Jean-Guillaume Dumas
Theoretical Computer Science, 2013, 479, pp.22-42. ⟨10.1016/j.tcs.2012.10.019⟩
Article dans une revue hal-00492738v4
Image document

Decorated proofs for computational effects: States

Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud
Electronic Proceedings in Theoretical Computer Science, 2012, 93, pp.45-59. ⟨10.4204/EPTCS.93.3⟩
Article dans une revue hal-00650269v2

A duality between exceptions and states

Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud
Mathematical Structures in Computer Science, 2012, 22 (4), pp.719-722. ⟨10.1017/S0960129511000752⟩
Article dans une revue hal-00650260v2
Image document

Cartesian effect categories are Freyd-categories

Jean-Guillaume Dumas , Dominique Duval , Jean-Claude Reynaud
Journal of Symbolic Computation, 2011, 46 (3), pp.272-293. ⟨10.1016/j.jsc.2010.09.008⟩
Article dans une revue hal-00369328v3

Rank properties of subspaces of symmetric and Hermitian matrices over finite fields

Jean-Guillaume Dumas , Rod Gow , John Sheekey
Finite Fields and Their Applications, 2011, 17 (6), pp.504-520. ⟨10.1016/j.ffa.2011.03.001⟩
Article dans une revue hal-00699691v1
Image document

Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields

Jean-Guillaume Dumas , Laurent Fousse , Bruno Salvy
Journal of Symbolic Computation, 2011, 46 (7), pp.823-840. ⟨10.1016/j.jsc.2010.08.015⟩
Article dans une revue hal-00315772v1
Image document

Les rayons des permutations spirales

Jean-Guillaume Dumas
Mathématiques et Sciences Humaines, 2010, 192 (4), pp.5-26
Article dans une revue hal-00447415v5

Subspaces of matrices with special rank properties

Jean-Guillaume Dumas , Roderick Gow , Gary Mcguire , John Sheekey
Linear Algebra and its Applications, 2010, 433 (1), pp.191-202. ⟨10.1016/j.laa.2010.02.015⟩
Article dans une revue hal-00699674v1
Image document

Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK packages

Jean-Guillaume Dumas , Pascal Giorgi , Clément Pernet
ACM Transactions on Mathematical Software, 2008, 35 (3), pp.19:1-42. ⟨10.1145/1391989.1391992⟩
Article dans une revue hal-00018223v4
Image document

Caractérisation des Quenines et leur représentation spirale

Jean-Guillaume Dumas
Mathématiques et Sciences Humaines, 2008, 184 (4), pp.9-23
Article dans une revue hal-00188240v7
Image document

Bounds on the coefficients of the characteristic and minimal polynomials

Jean-Guillaume Dumas
Journal of Inequalities in Pure and Applied Mathematics, 2007, 8 (2), art. 31, 6pp
Article dans une revue hal-00086820v7
Image document

Efficient polynomial time algorithms computing industrial-strength primitive roots

Jacques Dubrois , Jean-Guillaume Dumas
Information Processing Letters, 2006, 97 (2), pp.41-45. ⟨10.1016/j.ipl.2005.09.014⟩
Article dans une revue hal-00002828v5

On parallel block algorithms for exact triangularizations

Jean-Guillaume Dumas , Jean-Louis Roch
Parallel Computing, 2002, 28 (11), pp.1531-1548. ⟨10.1016/S0167-8191(02)00161-8⟩
Article dans une revue hal-02018773v1

On Efficient Sparse Integer Matrix Smith Normal Form Computations

Jean-Guillaume Dumas , B. David Saunders , Gilles Villard
Journal of Symbolic Computation, 2001, 32 (1-2), pp.71-99. ⟨10.1006/jsco.2001.0451⟩
Article dans une revue hal-02018782v1
Image document

The forking effect

Florentina Șoiman , Mathis Mourey , Jean-Guillaume Dumas , Sonia Jimenez-Garces
The 39th International Conference of the French Finance Association ({AFFI})., Jun 2023, Bordeaux, France
Communication dans un congrès hal-03216121v2
Image document

VESPo: Verified Evaluation of Secret Polynomials

Jean-Guillaume Dumas , Aude Maignan , Clément Pernet , Daniel S. Roche
Privacy Enhancing Technologies Symposium, Jul 2023, Lausanne (CH), Switzerland. pp.354--374, ⟨10.56553/popets-2023-0085⟩
Communication dans un congrès hal-03365854v5
Image document

Dynamic proofs of retrievability with low server storage

Gaspard Anthoine , Jean-Guillaume Dumas , Michael Hanling , Mélanie de Jonghe , Aude Maignan
30th USENIX Security Symposium, Aug 2021, virtual event, United States. pp.537--554
Communication dans un congrès hal-02875379v4
Image document

Risk analyses of the crypto-market: A literature review

Jean-Guillaume Dumas , Sonia Jimenez-Garces , Florentina Șoiman
12th International Conference on Complexity, Informatics and Cybernetics, International Institution of Informatics and Systemics, Mar 2021, Orlando, United States. pp.30--37
Communication dans un congrès hal-03112920v4
Image document

On fast multiplication of a matrix by its transpose

Jean-Guillaume Dumas , Clément Pernet , Alexandre Sedoglavic
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, ACM SIGSAM, Jul 2020, Kalamata, Greece. pp.162-169, ⟨10.1145/3373207.3404021⟩
Communication dans un congrès hal-02432390v4
Image document

LU factorization with errors

Jean-Guillaume Dumas , Joris van der Hoeven , Clément Pernet , Daniel S. Roche
International Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩
Communication dans un congrès hal-01997592v1
Image document

Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm

Jean-Guillaume Dumas , Pascal Lafourcade , Julio Lopez Fenner , David Lucas , Jean-Baptiste Orfila
The 14th International Workshop on Security (IWSEC 2019), Aug 2019, Tokyo, Japan. pp.67-88, ⟨10.1007/978-3-030-26834-3_5⟩
Communication dans un congrès hal-01781554v3
Image document

Interactive Physical Zero-Knowledge Proof for Norinori

Jean-Guillaume Dumas , Pascal Lafourcade , Daiki Miyahara , Takaaki Mizuki , Tatsuya Sasaki
The 25th International Computing and Combinatorics Conference (COCOON 2019), Jul 2019, Xian, China. pp.166-177, ⟨10.1007/978-3-030-26176-4_14⟩
Communication dans un congrès hal-02150062v1
Image document

Proof-of-work certificates that can be efficiently computed in the cloud

Jean-Guillaume Dumas
The 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.1-17, ⟨10.1007/978-3-319-99639-4_1⟩
Communication dans un congrès hal-01825779v2
Image document

Physical Zero-Knowledge Proof for Makaro

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade , Daiki Miyahara
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩
Communication dans un congrès hal-01898048v1
Image document

Symmetric indefinite triangular factorization revealing the rank profile matrix

Jean-Guillaume Dumas , Clément Pernet
ISSAC'18, Jul 2018, New York, United States. pp.151-158, ⟨10.1145/3208976.3209019⟩
Communication dans un congrès hal-01704793v1
Image document

A Cryptographer's Conspiracy Santa

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
FUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩
Communication dans un congrès hal-01777997v2
Image document

Prover efficient public verification of dense or sparse/structured matrix-vector multiplication

Jean-Guillaume Dumas , Vincent Zucca
ACISP 2017 - 22nd Australasian Conference on Information Security and Privacy, Jul 2017, Auckland, New Zealand. pp.115-134, ⟨10.1007/978-3-319-59870-3_7⟩
Communication dans un congrès hal-01503870v1
Image document

Certificates for triangular equivalence and rank profiles

Jean-Guillaume Dumas , David Lucas , Clément Pernet
ACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩
Communication dans un congrès hal-01466093v2
Image document

LOCALPKI: A User-Centric Formally Proven Alternative to PKIX

Jean-Guillaume Dumas , Pascal Lafourcade , Francis Melemedjian , Jean-Baptiste Orfila , Pascal Thoniel
14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩
Communication dans un congrès hal-01564696v1
Image document

Security Architecture for Point-to-Point Splitting Protocols

Benoit Badrignans , Vincent Danjean , Jean-Guillaume Dumas , Philippe Elbaz-Vincent , Sabine Machenaud
WCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom
Communication dans un congrès hal-01657605v1

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits

Jean-Guillaume Dumas , Erich Kaltofen , Gilles Villard , Lihong Zhi
ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
Communication dans un congrès hal-01657873v1
Image document

Private Multi-party Matrix Multiplication and Trust Computations

Jean-Guillaume Dumas , Pascal Lafourcade , Jean-Baptiste Orfila , Maxime Puys
13th International Conference on Security and Cryptography SECRYPT 16, Jul 2016, Lisbon, Portugal. pp.61-72, ⟨10.5220/0005957200610072⟩
Communication dans un congrès hal-01344750v2
Image document

Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩
Communication dans un congrès hal-01326059v1
Image document

Recursive double-size fixed precision arithmetic

Alexis Breust , Christophe Chabot , Jean-Guillaume Dumas , Laurent Fousse , Pascal Giorgi
ICMS: International Congress of Mathematical Software, Jul 2016, Berlin, Germany. pp.223--231, ⟨10.1007/978-3-319-42432-3_28⟩
Communication dans un congrès hal-00582593v2
Image document

Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix

Jean-Guillaume Dumas , Erich Kaltofen , Emmanuel Thomé , Gilles Villard
ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩
Communication dans un congrès hal-01266041v3
Image document

Hilbert-Post completeness for the state and the exception effects

Jean-Guillaume Dumas , Dominique Duval , Burak Ekici , Jean-Claude Reynaud , Damien Pous
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩
Communication dans un congrès hal-01121924v3
Image document

Computing the Rank Profile Matrix

Jean-Guillaume Dumas , Clément Pernet , Ziad Sultan
ISSAC, Steve Linton, Jul 2015, Bath, United Kingdom. pp.146--153, ⟨10.1145/2755996.2756682⟩
Communication dans un congrès hal-01107722v2
Image document

Essentially optimal interactive certificates in linear algebra

Jean-Guillaume Dumas , Erich Kaltofen
ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩
Communication dans un congrès hal-00932846v4
Image document

Certified proofs in programs involving exceptions

Jean-Guillaume Dumas , Dominique Duval , Burak Ekici , Jean-Claude Reynaud
Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16
Communication dans un congrès hal-00867237v3
Image document

Parallel computation of echelon forms

Jean-Guillaume Dumas , Thierry Gautier , Clément Pernet , Ziad Sultan
EuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩
Communication dans un congrès hal-00947013v1
Image document

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: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩
Communication dans un congrès hal-01015138v1
Image document

Formal verification in Coq of program properties involving the global state effect

Jean-Guillaume Dumas , Dominique Duval , Burak Ekici , Damien Pous
JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17
Communication dans un congrès hal-00869230v2
Image document

Brandt's Fully Private Auction Protocol Revisited

Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
Africacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩
Communication dans un congrès hal-00745247v3
Image document

Simultaneous computation of the row and column rank profiles

Jean-Guillaume Dumas , Clément Pernet , Ziad Sultan
ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. pp.181-188, ⟨10.1145/2465506.2465517⟩
Communication dans un congrès hal-00778136v1

Decorated proofs for computational effects: States

Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud
ACCAT, 2012, -, Estonia
Communication dans un congrès hal-00828544v1
Image document

Matrix powers algorithms for trust evaluation in PKI architectures

Jean-Guillaume Dumas , Hicham Hossayni
STM 2012 - 8th International Workshop on Security and Trust Management (co-ESORICS 2012), Sep 2012, Pise, Italy. pp16
Communication dans un congrès hal-00607478v4
Image document

Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures

Brice Boyer , Jean-Guillaume Dumas , Pascal Giorgi
PASCO'10: 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.80-88, ⟨10.1145/1837210.1837224⟩
Communication dans un congrès hal-00475185v1
Image document

Generic design of Chinese remaindering schemes

Jean-Guillaume Dumas , Thierry Gautier , Jean-Louis Roch
PASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.26-34, ⟨10.1145/1837210.1837218⟩
Communication dans un congrès hal-00449864v2
Image document

LinBox founding scope allocation, parallel building blocks, and separate compilation

Jean-Guillaume Dumas , Thierry Gautier , Clément Pernet , B. David Saunders
ICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.77-83, ⟨10.1007/978-3-642-15582-6_16⟩
Communication dans un congrès hal-00506599v1
Image document

Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable

Alexandre Berzati , Cécile Canovas , Jean-Guillaume Dumas , Louis Goubin
RSA Conference 2009 - Cryptographers' Track, Apr 2009, San Francisco, United States. pp.414--428, ⟨10.1007/978-3-642-00862-7_28⟩
Communication dans un congrès hal-00348416v3
Image document

On finding multiplicities of characteristic polynomial factors of black-box matrices

Jean-Guillaume Dumas , Clément Pernet , B. David Saunders
ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.135-142, ⟨10.1145/1576702.1576723⟩
Communication dans un congrès hal-00357262v2
Image document

Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm

Brice Boyer , Jean-Guillaume Dumas , Clément Pernet , Wei Zhou
ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.55-62, ⟨10.1145/1576702.1576713⟩
Communication dans un congrès hal-00163141v5

Sequential products for effects

Dominique Duval , Jean-Guillaume Dumas , Jean-Claude Reynaud
ACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom
Communication dans un congrès hal-00388686v1
Image document

Compressed Modular Matrix Multiplication

Jean-Guillaume Dumas , Laurent Fousse , Bruno Salvy
MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140
Communication dans un congrès hal-00259950v2
Image document

Q-adic Transform revisited

Jean-Guillaume Dumas
ISSAC '08 - 21st International Symposium on Symbolic and Algebraic Computation 2008, Jul 2008, Hagenberg, Austria. pp.63-70, ⟨10.1145/1390768.1390780⟩
Communication dans un congrès hal-00173894v6

Arithmétique compressée pour des petits corps finis

Jean-Guillaume Dumas
Rencontres Arithmétique de l'Informatique Mathématique, Jun 2008, Lille, France
Communication dans un congrès hal-00770318v1

Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields

Jean-Guillaume Dumas
Sage Days 10, Oct 2008, Nancy, France
Communication dans un congrès hal-00770321v1

Compromis temps/mémoire en algèbre linéaire dense sur des corps finis

Jean-Guillaume Dumas
Journée nationale du GDR Informatique Mathématique, Jan 2008, Paris, France
Communication dans un congrès hal-00770315v1

Sequential products in effect categories

Dominique Duval , Jean-Guillaume Dumas , Jean-Claude Reynaud
Journées ARROWS, Jun 2007, Nancy, France
Communication dans un congrès hal-00770341v1
Image document

Parallel computation of the rank of large sparse matrices from algebraic K-theory

Jean-Guillaume Dumas , Philippe Elbaz-Vincent , Pascal Giorgi , Anna Urbanska
PASCO '07 - International Workshop on Parallel Symbolic Computation, Jul 2007, London, Canada. pp.43-52, ⟨10.1145/1278177.1278186⟩
Communication dans un congrès hal-00142141v2

Outils pour un intergiciel générique en calcul formel

Jean-Guillaume Dumas
JCNF 2007 - Journées Nationales de Calcul Formel, Jan 2007, Marseille, France
Communication dans un congrès hal-00770312v1

Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox

Dominique Duval , Jean-Guillaume Dumas
Langages et Modèles à Objet (LMO'06), Mar 2006, Nimes, France. p.117-132
Communication dans un congrès hal-00388393v1

Adaptive algorithms: theory and application

Van-Dat Cung , Jean-Guillaume Dumas , Thierry Gautier , Guillaume Huard , Bruno Raffin
SIAM Parallel Processing 2006, Mini-Symposium MS1: Adaptive algorithms for scientific computing, Feb 2006, San Francisco, United States. pp.49--50
Communication dans un congrès hal-01856375v1
Image document

Towards a diagrammatic modeling of the LinBox C++ linear algebra library

Jean-Guillaume Dumas , Dominique Duval
Langages et Modèles à Objets, Mar 2006, Nîmes, France. pp.117-132
Communication dans un congrès hal-00012346v2
Image document

An introspective algorithm for the integer determinant

Jean-Guillaume Dumas , Anna Urbanska
Transgressive Computing 2006, Apr 2006, Grenade, Spain. pp.185-202
Communication dans un congrès hal-00014044v5
Image document

Adaptive and Hybrid Algorithms: classification and illustration on triangular system solving

Van-Dat Cung , Vincent Danjean , Jean-Guillaume Dumas , Thierry Gautier , Guillaume Huard
Transgressive Computing 2006, Apr 2006, Grenade, Spain. pp.131-148
Communication dans un congrès hal-00318540v1

LinBox

Jean-Guillaume Dumas
International Congress on Mathematical Software, ICMS'2006, Sep 2006, Castro Urdiales, Spain
Communication dans un congrès hal-00104044v1
Image document

Adaptive triangular system solving

Jean-Guillaume Dumas , Clément Pernet , Jean-Louis Roch
Challenges in Symbolic Computation Software - Dagstuhl Seminar 06271, Jul 2006, Dagstuhl, Germany. pp.770
Communication dans un congrès hal-00318543v1

Algorithms for Symbolic/Numeric Control of Affine Dynamical Systems *

Jean-Guillaume Dumas , Aude Rondepierre
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2005, Beijing, China. ⟨10.1145/1073884.1073923⟩
Communication dans un congrès hal-01807149v1
Image document

Efficient Computation of the Characteristic Polynomial

Jean-Guillaume Dumas , Clément Pernet , Zhendong Wan
International Symposium on Symbolic and Algebraic Computation (ISSAC'15), Jul 2005, Beijing, China. pp.140-147
Communication dans un congrès hal-00004056v2
Image document

Efficient dot product over word-size finite fields

Jean-Guillaume Dumas
Computer Algebra in Scientific Computing, Jul 2004, Saint Petersburg, Russia. pp.139--154
Communication dans un congrès hal-00001380v2

FFPACK: finite field linear algebra package

Jean-Guillaume Dumas , Pascal Giorgi , Clément Pernet
International Symposium on Symbolic and Algebraic Computation (ISSAC'04), Jul 2004, Santander, Spain. pp.119-126, ⟨10.1145/1005285.1005304⟩
Communication dans un congrès hal-02018838v1
Image document

Modeling the electrical activity of a neuron by a continuous and piecewise affine hybrid system

Jean-Guillaume Dumas , Aude Rondepierre
Hybrid Systems: Computation and Control , Apr 2003, Prague, Czech Republic. pp.156-171, ⟨10.1007/3-540-36580-X_14⟩
Communication dans un congrès hal-01807138v1
Image document

Computing the Rank of Large Sparse Matrices over Finite Fields

Jean-Guillaume Dumas , Gilles Villard
Computer Algebra in Scientific Computing (CASC) 2002, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, Sep 2002, Yalta, Ukraine. pp.47--62
Communication dans un congrès hal-02068056v1

Finite field linear algebra subroutines

Jean-Guillaume Dumas , Thierry Gautier , Clément Pernet
International Symposium on Symbolic and Algebraic Computation (ISSAC'02), Jul 2002, Lille, France. pp.63-74, ⟨10.1145/780506.780515⟩
Communication dans un congrès hal-02018841v1

Integer Smith form via the valence

Jean-Guillaume Dumas , B. David Saunders , Gilles Villard
International Symposium on Symbolic and Algebraic Computation (ISSAC'00), 2000, St. Andrews, United Kingdom. pp.95-105, ⟨10.1145/345542.345590⟩
Communication dans un congrès hal-02018851v1

Les NFT en 40 questions

Jean-Guillaume Dumas , Pascal Lafourcade , Etienne Roudeix , Ariane Tichit , Sébastien Varrette
Dunod, pp.256, 2022, 978-2-1008-3304-7
Ouvrages hal-03658619v1

Les blockchains en 50 questions - 2nd édition

Jean-Guillaume Dumas , Pascal Lafourcade , Ariane Tichit , Sébastien Varrette
Dunod, pp.320, 2022, 978-2-1008-3450-1
Ouvrages hal-03658608v1

Architectures de sécurité pour Internet

Jean-Guillaume Dumas , Pascal Lafourcade , Patrick Redon
Dunod, pp.432, 2020, 9782100809707
Ouvrages hal-02776793v1

Les blockchains en 50 questions

Jean-Guillaume Dumas , Pascal Lafourcade , Ariane Tichit , Sébastien Varrette
Dunod, pp.304, 2018, 978-2-1007-7924-6
Ouvrages hal-03658606v1

Théorie des codes - 3e édition

Jean-Guillaume Dumas , Jean-Louis Roch , Eric Tannier , Sébastien Varrette
Dunod, pp.416, 2018, 9782100781096
Ouvrages hal-02639412v1

Foundations of Coding: Compression, Encryption, Error-Correction

Jean-Guillaume Dumas , Jean-Louis Roch , Eric Tannier , Sébastien Varrette
Wiley, pp.376, 2015, 978-1-118-88144-6
Ouvrages hal-00765802v1

Architectures PKI et communications sécurisées

Jean-Guillaume Dumas , Pascal Lafourcade , Patrick Redon
Dunod, pp.400, 2015, Info Sup, 9782100726158
Ouvrages hal-01445289v1

Théorie des Codes : compression, cryptage, correction, 2e edition

Jean-Guillaume Dumas , Jean-Louis Roch , Eric Tannier , Sébastien Varrette
Dunod, pp.384, 2013, Sciences Sup, 9782100599110
Ouvrages hal-00932851v1

Théorie des Codes : compression, cryptage, correction

Jean-Guillaume Dumas , Jean-Louis Roch , Eric Tannier , Sébastien Varrette
Dunod, pp.352, 2007, Sciences Sup, 9782100506927
Ouvrages hal-00318546v1

La sécurité de bitcoin et des blockchains

Jean-Guillaume Dumas , Pascal Lafourcade
Gildas Avoine; Marc-Olivier Killijian. Treize défis de la cybersécurité, CNRS Éditions, pp.213-232, 2020, 2271130611
Chapitre d'ouvrage hal-02639358v1
Image document

Les crypto-monnaies, une réalité virtuelle ?

Jean-Guillaume Dumas , Pascal Lafourcade
Les Big Data à l’échelle de la société, CNRS EDITIONS, 2020, 978-2271130617
Chapitre d'ouvrage hal-04449159v1
Image document

Bitcoin : une monnaie dématérialisée

Pascal Lafourcade , Jean-Guillaume Dumas
Les Big Data à découvert, CNRS Editions, 2017
Chapitre d'ouvrage hal-02291296v1
Image document

Computational linear algebra over finite fields

Jean-Guillaume Dumas , Clément Pernet
Gary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman & Hall / CRC, pp.514-528, 2013, Discrete Mathematics and Its Applications, 9781439873786
Chapitre d'ouvrage hal-00688254v1

Architectures PKI

Jean-Guillaume Dumas , Franck Leprévost , Jean-Louis Roch , Sébastien Varrette
T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.187-210, 2006
Chapitre d'ouvrage hal-00318550v1

Cryptographie à clef secrète

Jean-Guillaume Dumas , Pascal Bouvry , Roland Gillard , Jean-Louis Roch , Sébastien Varrette
T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.23-102, 2006
Chapitre d'ouvrage hal-00318553v1

Cryptographie à clef publique

Jean-Guillaume Dumas , Franck Leprévost , Jean-Louis Roch , Sébastien Varrette , Valentin Savin
Touradj Ebrahimi; Franck Leprevost; Bertrand Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.103-186, 2006, Collection Traité IC2 - Informatique et systèmes d'information
Chapitre d'ouvrage hal-00318555v1
Image document

Contributions au calcul exact intensif

Jean-Guillaume Dumas
Calcul formel [cs.SC]. Université de Grenoble, 2010
HDR tel-00514925v1
Image document

In-place fast polynomial modular remainder

Jean-Guillaume Dumas , Bruno Grenet
Univ. Grenoble Alpes. 2024
Rapport hal-03979016v6
Image document

In-place accumulation of fast multiplication formulae

Jean-Guillaume Dumas , Bruno Grenet
Univ. Grenoble Alpes. 2024
Rapport hal-04167499v3
Image document

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é
[Research Report] Université Grenoble Alpes (UGA). 2015
Rapport hal-01171249v1
Image document

Fast Matrix Multiplication and Symbolic Computation

Jean-Guillaume Dumas , Victor Y. Pan
[Research Report] Université Grenoble Alpes (UGA). 2015
Rapport hal-01417524v1
Image document

Breaking a monad-comonad symmetry between computational effects

Jean-Guillaume Dumas , Dominique Duval , Jean-Claude Reynaud
[Research Report] arXiV. 2014
Rapport hal-00941653v1
Image document

Generating S-Boxes from Semi-fields Pseudo-extensions

Jean-Guillaume Dumas , Jean-Baptiste Orfila
[Research Report] Université Grenoble Alpes (UGA). 2014
Rapport hal-01075148v1
Image document

Patterns for computational effects arising from a monad or a comonad

Jean-Guillaume Dumas , Dominique Duval , Jean-Claude Reynaud
[Research Report] LJK. 2013
Rapport hal-00868831v2
Image document

Decorated proofs for computational effects: Exceptions

Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud
[Research Report] Université Grenoble Alpes (UGA). 2012
Rapport hal-00678738v1
Image document

Adjunctions for exceptions

Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud
[Research Report] LJK. 2012
Rapport hal-00714710v2
Image document

States and exceptions considered as dual effects

Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud
[Research Report] Université Grenoble Alpes. 2011
Rapport hal-00445873v4
Image document

An hybrid system approach to nonlinear optimal control problems

Jean-Guillaume Dumas , Aude Rondepierre
[Research Report] Université Grenoble Alpes (UGA). 2008
Rapport hal-00004191v4
Image document

Sequential products in effect categories

Jean-Guillaume Dumas , Dominique Duval , Jean-Claude Reynaud
[Research Report] Université Grenoble Alpes (UGA). 2007
Rapport hal-00161303v1
Image document

FFPACK: Finite field linear algebra package

Jean-Guillaume Dumas , Pascal Giorgi , Clément Pernet
[Research Report] LIP RR-2004-2, Laboratoire de l'informatique du parallélisme. 2004, 2+17p
Rapport hal-02101818v1
Image document

LinBox: A Generic Library for Exact Linear Algebra

Jean-Guillaume Dumas , T. Gautier , M. Giesbrecht , Pascal Giorgi , B. Hovinen
[Research Report] LIp RR-2002-15, Laboratoire de l'informatique du parallélisme. 2002, 2+12p
Rapport hal-02102080v1