| 2026 | ISSAC | Computational Explorations on the Tensor Rank and the Additive Complexity of Semifields. | Jean-Guillaume Dumas, Stefano Lia, John Sheekey |
| 2025 | ACNS | Optimal Communication Unbalanced Private Set Union. | Jean-Guillaume Dumas, Alexis Galan, Bruno Grenet, Aude Maignan, Daniel S. Roche |
| 2024 | ISSAC | In-place accumulation of fast multiplication formulae. | Jean-Guillaume Dumas, Bruno Grenet |
| 2024 | ISSAC | In-place fast polynomial modular remainder. | Jean-Guillaume Dumas, Bruno Grenet |
| 2024 | ISSAC | Strassen's algorithm is not optimally accurate. | Jean-Guillaume Dumas, Clment Pernet, Alexandre Sedoglavic |
| 2020 | ISSAC | On fast multiplication of a matrix by its transpose. | Jean-Guillaume Dumas, Clment Pernet, Alexandre Sedoglavic |
| 2019 | CCS | Poster: Proofs of Retrievability with Low Server Storage. | Michael Hanling, Gaspard Anthoine, Jean-Guillaume Dumas, Aude Maignan, Clment Pernet, Daniel S. Roche |
| 2019 | COCOON | Interactive Physical Zero-Knowledge Proof for Norinori. | Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone |
| 2019 | ISSAC | LU Factorization with Errors. | Jean-Guillaume Dumas, Joris van der Hoeven, Clment Pernet, Daniel S. Roche |
| 2019 | IWSEC | Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. | Jean-Guillaume Dumas, Pascal Lafourcade, Julio Lpez Fenner, David Lucas, Jean-Baptiste Orfila, Clment Pernet, Maxime Puys |
| 2018 | CASC | Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk). | Jean-Guillaume Dumas |
| 2018 | FUN | A Cryptographer's Conspiracy Santa. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade |
| 2018 | ISSAC | Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix. | Jean-Guillaume Dumas, Clment Pernet |
| 2018 | SSS | Physical Zero-Knowledge Proof for Makaro. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone |
| 2017 | ACISP | Prover Efficient Public Verification of Dense or Sparse/Structured Matrix-Vector Multiplication. | Jean-Guillaume Dumas, Vincent Zucca |
| 2017 | ISSAC | Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. | Jean-Guillaume Dumas, Erich L. Kaltofen, Gilles Villard, Lihong Zhi |
| 2017 | ISSAC | Certificates for Triangular Equivalence and Rank Profiles. | Jean-Guillaume Dumas, David Lucas, Clment Pernet |
| 2017 | SECRYPT | LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. | Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel |
| 2016 | FUN | Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade |
| 2016 | ISSAC | Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. | Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thom, Gilles Villard |
| 2016 | SECRYPT | Private Multi-party Matrix Multiplication and Trust Computations. | Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys |
| 2015 | ISSAC | Computing the Rank Profile Matrix. | Jean-Guillaume Dumas, Clment Pernet, Ziad Sultan |
| 2014 | EuroPar | Parallel Computation of Echelon Forms. | Jean-Guillaume Dumas, Thierry Gautier, Clment Pernet, Ziad Sultan |
| 2014 | ISSAC | Essentially optimal interactive certificates in linear algebra. | Jean-Guillaume Dumas, Erich L. Kaltofen |
| 2013 | ISSAC | Simultaneous computation of the row and column rank profiles. | Jean-Guillaume Dumas, Clment Pernet, Ziad Sultan |
| 2009 | ISSAC | Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. | Brice Boyer, Jean-Guillaume Dumas, Clment Pernet, Wei Zhou |
| 2009 | ISSAC | On finding multiplicities of characteristic polynomial factors of black-box matrices. | Jean-Guillaume Dumas, Clment Pernet, B. David Saunders |
| 2008 | ISSAC | Q-adic transform revisited. | Jean-Guillaume Dumas |
| 2007 | ISSAC | Parallel computation of the rank of large sparse matrices from algebraic K-theory. | Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, Anna Urbanska |
| 2005 | ISSAC | Efficient computation of the characteristic polynomial. | Jean-Guillaume Dumas, Clment Pernet, Zhendong Wan |
| 2005 | ISSAC | Algorithms for symbolic/numeric control of affine dynamical systems. | Aude Rondepierre, Jean-Guillaume Dumas |
| 2004 | ISSAC | FFPACK: finite field linear algebra package. | Jean-Guillaume Dumas, Pascal Giorgi, Clment Pernet |
| 2002 | ISSAC | Finite field linear algebra subroutines. | Jean-Guillaume Dumas, Thierry Gautier, Clment Pernet |
| 2001 | SPAA | A parallel block algorithm for exact triangularization of rectangular matrices. | Jean-Guillaume Dumas, Jean-Louis Roch |
| 2000 | ISSAC | Integer Smith form via the valence: experience with large sparse matrices from homology. | Jean-Guillaume Dumas, B. David Saunders, Gilles Villard |