Clément Pernet

Professeur Ensimag, Grenoble INP - UGA

Documents

Identifiants chercheurs

Contact

Domaines de recherche

Calcul formel [cs.SC] Cryptographie et sécurité [cs.CR] Logiciel mathématique [cs.MS]

Publications

Computational Mathematics with SageMath

Paul Zimmermann , Alexandre Casamayou , Nathann Cohen , Guillaume Connan , Thierry Dumont et al.

SIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩

Ouvrages hal-01646401v1

Calcul mathématique avec Sage

Alexandre Casamayou , Nathann Cohen , Guillaume Connan , Thierry Dumont , Laurent Fousse et al.

CreateSpace, pp.468, 2013, 9781481191043

Ouvrages inria-00540485v2

Les codes détecteurs et correcteurs d'erreurs pour la fiabilité des calculs

Jean-Guillaume Dumas , Clément Pernet

Mokrane Bouzeghoub; Michel Daydé; Christian Jutten. Le calcul à découvert, CNRS, pp.51-59, 2025, 9782271153739

Chapitre d'ouvrage hal-04990747v1

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

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication

Jean-Guillaume Dumas , Clément Pernet , Alexandre Sedoglavic

Journal of Symbolic Computation, 2026, 134, pp.102524. ⟨10.1016/j.jsc.2025.102524⟩

Article dans une revue hal-04995684v1

High-order lifting for polynomial Sylvester matrices

Clément Pernet , Hippolyte Signargout , Gilles Villard

Journal of Complexity, 2024, 80, pp.101803. ⟨10.1016/j.jco.2023.101803⟩

Article dans une revue hal-03740320v3

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

Deterministic computation of the characteristic polynomial in the time of matrix multiplication

Vincent Neiger , Clément Pernet

Journal of Complexity, 2021, 67, pp.101572. ⟨10.1016/j.jco.2021.101572⟩

Article dans une revue hal-02963147v2

Verification Protocols with Sub-Linear Communication for Polynomial Matrix Operations

David Lucas , Vincent Neiger , Clément Pernet , Daniel S. Roche , Johan Rosenkilde

Journal of Symbolic Computation, 2021, 105, pp.165--198. ⟨10.1016/j.jsc.2020.06.006⟩

Article dans une revue hal-01829139v2

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

Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic

Claude-Pierre Jeannerod , Theo Mary , Clément Pernet , Daniel S. Roche

SIAM Journal on Matrix Analysis and Applications, 2019, 40 (4), pp.1478-1496. ⟨10.1137/19M1255628⟩

Article dans une revue hal-02008666v4

Time and space efficient generators for quasiseparable matrices

Clément Pernet , Arne Storjohann

Journal of Symbolic Computation, 2018, Special issue on the 41th International Symposium on Symbolic and Alge-braic Computation (ISSAC’16), 85, pp.224-246. ⟨10.1016/j.jsc.2017.07.010⟩

Article dans une revue hal-01424252v2

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

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

Rank-profile revealing Gaussian elimination and the CUP matrix decomposition

Claude-Pierre Jeannerod , Clément Pernet , Arne Storjohann

Journal of Symbolic Computation, 2013, 56, pp.46-68. ⟨10.1016/j.jsc.2013.04.004⟩

Article dans une revue hal-00841300v1

Fast computation of Hermite normal forms of random integer matrices

Clément Pernet , William Stein

Journal of Number Theory, 2010, 130 (7), pp.1675―1683. ⟨10.1016/j.jnt.2010.01.017⟩

Article dans une revue hal-00798442v1

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

Strassen's algorithm is not optimally accurate

Jean-Guillaume Dumas , Clément Pernet , Alexandre Sedoglavic

49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. pp.254-263, ⟨10.1145/3666000.3669697⟩

Communication dans un congrès hal-04441653v2

Computing Krylov iterates in the time of matrix multiplication

Vincent Neiger , Clément Pernet , Gilles Villard

ISSAC '24: International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.419-428, ⟨10.1145/3666000.3669715⟩

Communication dans un congrès hal-04445355v2

VESPo: Verified Evaluation of Secret Polynomials

Jean-Guillaume Dumas , Aude Maignan , Clément Pernet , Daniel S. Roche

Privacy Enhancing Technologies Symposium (PETS 2023), Jul 2023, Lausanne, Switzerland. pp.354--374, ⟨10.56553/popets-2023-0085⟩

Communication dans un congrès hal-03365854v5

Exact computations with quasiseparable matrices

Clément Pernet , Hippolyte Signargout , Gilles Villard

ISSAC'23: the 2023 International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway. pp.480-489, ⟨10.1145/3597066.3597102⟩

Communication dans un congrès hal-03978799v1

Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices

Clément Pernet , Hippolyte Signargout , Pierre Karpman , Gilles Villard

ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.249-256, ⟨10.1145/3452143.3465542⟩

Communication dans un congrès hal-03189115v1

Hermite Interpolation With Error Correction

Erich Kaltofen , Clément Pernet , Zhi-Hong Yang

ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Virtual Event, Russia. pp.241-247, ⟨10.1145/3452143.3465525⟩

Communication dans un congrès hal-03350894v1

Dynamic proofs of retrievability with low server storage

Gaspard Anthoine , Jean-Guillaume Dumas , Michael Hanling , Mélanie de Jonghe , Aude Maignan et al.

30th USENIX Security Symposium, Aug 2021, virtual event, United States. pp.537--554

Communication dans un congrès hal-02875379v4

Hermite Rational Function Interpolation with Error Correction

Erich Kaltofen , Clément Pernet , Zhi-Hong Yang

Computer Algebra in Scientific Computing, Sep 2020, Linz, Austria. pp.335-357, ⟨10.1007/978-3-030-60026-6_19⟩

Communication dans un congrès hal-04925033v1

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 (ISSAC 2020), ACM SIGSAM, Jul 2020, Kalamata, Greece. pp.162-169, ⟨10.1145/3373207.3404021⟩

Communication dans un congrès hal-02432390v4

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

Jean-Guillaume Dumas , Pascal Lafourcade , Julio Lopez Fenner , David Lucas , Jean-Baptiste Orfila et al.

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

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

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

Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction

Erich Kaltofen , Clément Pernet , Arne Storjohann , Cleveland Waddell

ISSAC'17 - 2017 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087645⟩

Communication dans un congrès hal-01982114v1

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

Computing with quasiseparable matrices

Clément Pernet

International Symposium on Symbolic and Algebraic Computation (ISSAC'16), Jul 2016, Waterloo, Canada. pp.389-396, ⟨10.1145/2930889.2930915⟩

Communication dans un congrès hal-01264131v2

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

Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance

Erich L. Kaltofen , Clément Pernet

ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp. 272-279, ⟨10.1145/2608628.2608660⟩

Communication dans un congrès hal-01068308v1

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

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

Secured Outsourced Linear Algebra

Amrit Kumar , Jean-Louis Roch , Clément Pernet

Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC

Communication dans un congrès hal-00926445v1

On the decoding of quasi-BCH codes

Morgan Barbier , Clément Pernet , Guillaume Quintin

WCC - International Workshop on Coding and Cryptography, Apr 2013, Bergen, Norway

Communication dans un congrès hal-00768566v1

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

Sparse Polynomial Interpolation and Berlekamp/Massey Algorithm That Correct Outlier Errors in Input Values

Matthew T. Comer , Erich L. Kaltofen , Clément Pernet

ISSAC \'12: Proceedings of the 2012 international symposium on symbolic and algebraic computation, 2012, Grenoble, France

Communication dans un congrès hal-00796255v1

Output-sensitive decoding for redundant residue systems

Majid Khonji , Clément Pernet , Jean-Louis Roch , Thomas Roche , Thomas Stalinski

ISSAC'10: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 2010, New York, NY, United States. pp.265―272, ⟨10.1145/1837934.1837985⟩

Communication dans un congrès hal-00798446v1