Clément Pernet

Professeur Ensimag, Grenoble INP - UGA
59
Documents
Identifiants chercheurs
Contact

Domaines de recherche

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

Publications

32
8
6
4
4
4
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
7
2
1
1
1
1
1
3
5
4
5
3
3
3
3
2
1
4
6
1
1
4
2
1
3
1
2
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Claude-Pierre Jeannerod , Théo 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

Efficient Decomposition of Dense Matrices over GF(2)

Martin Albrecht , Clément Pernet

Proceedings of the Wokshop on Tools for Cryptanalysis, 2010, Egham, United Kingdom

Communication dans un congrès hal-00798458v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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

Efficient Dense Gaussian Elimination over the Finite Field with Two Elements

Martin R. Albrecht , Gregory V. Bard , Clément Pernet

[Research Report] 2011

Rapport (rapport de recherche) hal-00796873v1
Deposit thumbnail

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 (rapport de recherche) hal-02101818v1
Deposit thumbnail

Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique

Clément Pernet

Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2006. Français. ⟨NNT : ⟩

Thèse tel-00111346v1
Deposit thumbnail

High Performance and Reliable Algebraic Computing

Clément Pernet

Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014

HDR tel-01094212v1