Jean-Guillaume Dumas

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 53

Top Venues

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
Strassen's algorithm is not optimally accurate. ISSAC (2024)
Jean-Guillaume Dumas, Bruno Grenet
In-place fast polynomial modular remainder. ISSAC (2024)
Jean-Guillaume Dumas, Alexis Galan, Bruno Grenet, Aude Maignan, Daniel S. Roche
Communication Optimal Unbalanced Private Set Union. CoRR (2024)
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
Strassen's algorithm is not optimally accurate. CoRR (2024)
Jean-Guillaume Dumas, Bruno Grenet
In-place accumulation of fast multiplication formulae. ISSAC (2024)
Florentina Soiman, Mathis Mourey, Jean-Guillaume Dumas, Sonia Jimenez-Garces
The forking effect. CoRR (2023)
Jean-Guillaume Dumas, Bruno Grenet
In-place fast polynomial modular remainder. CoRR (2023)
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
Some fast algorithms multiplying a matrix by its adjoint. J. Symb. Comput. 115 (2023)
Jean-Guillaume Dumas, Bruno Grenet
Fast in-place accumulated bilinear formulae. CoRR (2023)
Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche
VESPo: Verified Evaluation of Secret Polynomials (with application to dynamic proofs of retrievability). Proc. Priv. Enhancing Technol. 2023 (3) (2023)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal threshold padlock systems. J. Comput. Secur. 30 (5) (2022)
Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche
VESPo: Verified Evaluation of Secret Polynomials. CoRR (2021)
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
Some fast algorithms multiplying a matrix by its adjoint. CoRR (2021)
Gaspard Anthoine, Jean-Guillaume Dumas, Mélanie de Jonghe, Aude Maignan, Clément Pernet, Michael Hanling, Daniel S. Roche
Dynamic proofs of retrievability with low server storage. USENIX Security Symposium (2021)
Jean-Guillaume Dumas, Erich Kaltofen, David Lucas, Clément Pernet
Elimination-based certificates for triangular equivalence and rank profiles. J. Symb. Comput. 98 (2020)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A faster cryptographer's Conspiracy Santa. Theor. Comput. Sci. 839 (2020)
Gaspard Anthoine, Jean-Guillaume Dumas, Michael Hanling, Mélanie de Jonghe, Aude Maignan, Clément Pernet, Daniel S. Roche
Dynamic proofs of retrievability with low server storage. CoRR (2020)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal Threshold Padlock Systems. CoRR (2020)
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
On fast multiplication of a matrix by its transpose. ISSAC (2020)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A Faster Cryptographer's Conspiracy Santa. CoRR (2020)
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
On fast multiplication of a matrix by its transpose. CoRR (2020)
Jean-Guillaume Dumas, Joris van der Hoeven, Clément Pernet, Daniel S. Roche
LU factorization with errors. CoRR (2019)
Jean-Guillaume Dumas, Pascal Lafourcade, Julio López Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys
Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. IWSEC (2019)
Jean-Guillaume Dumas, Erich Kaltofen, David Lucas, Clément Pernet
Elimination-based certificates for triangular equivalence and rank profiles. CoRR (2019)
Jean-Guillaume Dumas, Joris van der Hoeven, Clément Pernet, Daniel S. Roche
LU Factorization with Errors. ISSAC (2019)
Michael Hanling, Gaspard Anthoine, Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche
Poster: Proofs of Retrievability with Low Server Storage. CCS (2019)
Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone
Interactive Physical Zero-Knowledge Proof for Norinori. COCOON (2019)
Jean-Guillaume Dumas
Proof-of-work certificates that can be efficiently computed in the cloud. CoRR (2018)
Jean-Guillaume Dumas, Clément Pernet
Symmetric indefinite triangular factorization revealing the rank profile matrix. CoRR (2018)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone
Physical Zero-Knowledge Proof for Makaro. SSS (2018)
Jean-Guillaume Dumas, Clément Pernet
Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix. ISSAC (2018)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A Cryptographer's Conspiracy Santa. FUN (2018)
Jean-Guillaume Dumas
Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk). CASC (2018)
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Dual protocols for private multi-party matrix multiplication and trust computations. Comput. Secur. 71 (2017)
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
LocalPKI: An Interoperable and IoT Friendly PKI. ICETE (Selected Papers) (2017)
Jean-Guillaume Dumas, David Lucas, Clément Pernet
Certificates for triangular equivalence and rank profiles. CoRR (2017)
Jean-Guillaume Dumas, David Lucas, Clément Pernet
Certificates for Triangular Equivalence and Rank Profiles. ISSAC (2017)
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
Fast computation of the rank profile matrix and the generalized Bruhat decomposition. J. Symb. Comput. 83 (2017)
Jean-Guillaume Dumas, Vincent Zucca
Prover efficient public verification of dense or sparse/structured matrix-vector multiplication. CoRR (2017)
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. SECRYPT (2017)
Jean-Guillaume Dumas, Erich L. Kaltofen, Gilles Villard, Lihong Zhi
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. ISSAC (2017)
Jean-Guillaume Dumas, Vincent Zucca
Prover Efficient Public Verification of Dense or Sparse/Structured Matrix-Vector Multiplication. ACISP (2) (2017)
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. CoRR (2016)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. CoRR (2016)
Brice Boyer, Jean-Guillaume Dumas
Matrix Multiplication Over Word-Size Modular Rings Using Approximate Formulas. ACM Trans. Math. Softw. 42 (3) (2016)
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Private Multi-party Matrix Multiplication and Trust Computations. SECRYPT (2016)
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Parallel Comput. 57 (2016)
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. FUN (2016)
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Private Multi-party Matrix Multiplication and Trust Computations. CoRR (2016)
Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi
Recursive Double-Size Fixed Precision Arithmetic. ICMS (2016)
Jean-Guillaume Dumas, Victor Pan
Fast Matrix Multiplication and Symbolic Computation. CoRR (2016)
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. ISSAC (2016)
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition. CoRR (2016)
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
Computing the Rank Profile Matrix. CoRR (2015)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
Relative Hilbert-Post Completeness for Exceptions. MACIS (2015)
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
Computing the Rank Profile Matrix. ISSAC (2015)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
Hilbert-Post completeness for the state and the exception effects. CoRR (2015)
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé
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. CoRR (2015)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Brandt's fully private auction protocol revisited. J. Comput. Secur. 23 (5) (2015)
Brice Boyer, Jean-Guillaume Dumas
Matrix Multiplication over Word-size Modular Fields Using Bini's Approximate Formula. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Formal verification in Coq of program properties involving the global state effect. JFLA (2014)
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders
Elements of Design for Containers and Solutions in the LinBox Library. CoRR (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Program certification with computational effects. CoRR (2014)
Jean-Guillaume Dumas
On Newton-Raphson Iteration for Multiplicative Inverses Modulo Prime Powers. IEEE Trans. Computers 63 (8) (2014)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Breaking a monad-comonad symmetry between computational effects. CoRR (2014)
Jean-Guillaume Dumas, Erich Kaltofen
Essentially optimal interactive certificates in linear algebra. ISSAC (2014)
Jean-Guillaume Dumas, Erich Kaltofen
Essentially optimal interactive certificates in linear algebra. CoRR (2014)
Jean-Guillaume Dumas, Jean-Baptiste Orfila
Generating S-Boxes from Semi-fields Pseudo-extensions. CoRR (2014)
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan
Parallel Computation of Echelon Forms. Euro-Par (2014)
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders
Elements of Design for Containers and Solutions in the LinBox Library - Extended Abstract. ICMS (2014)
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan
Parallel computation of echelon forms. CoRR (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud
Certified Proofs in Programs Involving Exceptions. CICM Workshops (2014)
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
Simultaneous computation of the row and column rank profiles CoRR (2013)
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
Simultaneous computation of the row and column rank profiles. ISSAC (2013)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Patterns for computational effects arising from a monad or a comonad. CoRR (2013)
Grégory Nuel, Jean-Guillaume Dumas
Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source. Theor. Comput. Sci. 479 (2013)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Formal verification in Coq of program properties involving the global state effect. CoRR (2013)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
A decorated proof system for exceptions. CoRR (2013)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Brandt's Fully Private Auction Protocol Revisited. AFRICACRYPT (2013)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
A duality between exceptions and states. Math. Struct. Comput. Sci. 22 (4) (2012)
Jean-Guillaume Dumas, Hicham Hossayni
Matrix Powers Algorithms for Trust Evaluation in Public-Key Infrastructures. STM (2012)
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Attacking Privacy in a Fully Private Auction Protocol CoRR (2012)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
Adjunctions for exceptions CoRR (2012)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
Decorated proofs for computational effects: States ACCAT (2012)
Jean-Guillaume Dumas
On Newton-Raphson iteration for multiplicative inverses modulo prime powers CoRR (2012)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
Decorated proofs for computational effects: Exceptions CoRR (2012)
Jean-Guillaume Dumas, Clément Pernet
Computational linear algebra over finite fields CoRR (2012)
Jean-Guillaume Dumas, Rod Gow, John Sheekey
Rank properties of subspaces of symmetric and hermitian matrices over finite fields. Finite Fields Their Appl. 17 (6) (2011)
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Cartesian effect categories are Freyd-categories. J. Symb. Comput. 46 (3) (2011)
Jean-Guillaume Dumas, Hicham Hossayni
Matrix Powers algorithm for trust evaluation in PKI architectures CoRR (2011)
Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi
Recursive double-size fixed precision arithmetic CoRR (2011)
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
Simultaneous modular reduction and Kronecker substitution for small finite fields. J. Symb. Comput. 46 (7) (2011)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
A duality between exceptions and states CoRR (2011)
Grégory Nuel, Jean-Guillaume Dumas
Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source. CoRR (2010)
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
Generic design of Chinese remaindering schemes CoRR (2010)
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi
Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures CoRR (2010)
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation. ICMS (2010)
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
States and exceptions are dual effects CoRR (2010)
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
Generic design of Chinese remaindering schemes. PASCO (2010)
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
Generic design of Chinese remaindering schemes CoRR (2010)

Jean-Guillaume Dumas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean-Guillaume Dumas