Certificates for Triangular Equivalence and Rank Profiles. - Jean-Guillaume Dumas; David Lucas 001; Clément Pernet (ISSAC, 2017)

Interactive Certificates for Polynomial Matrices with Sub-Linear Communication. - David Lucas 001; Vincent Neiger; Clément Pernet; Daniel S. Roche; Johan Rosenkilde (CoRR, 2018)

Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. - Jean-Guillaume Dumas; Pascal Lafourcade 001; Julio López Fenner; David Lucas 001; Jean-Baptiste Orfila; Clément Pernet; Maxime Puys (IWSEC, 2019)

Elimination-based certificates for triangular equivalence and rank profiles. - Jean-Guillaume Dumas; Erich L. Kaltofen; David Lucas 001; Clément Pernet (J. Symb. Comput., 2020)

Secure and efficient outsourced computation protocols for linear algebra. (Protocoles de calculs externalisés efficaces et sécurisés pour l'algèbre linéaire). - David Lucas 001 (2020)

Verification protocols with sub-linear communication for polynomial matrix operations. - David Lucas 001; Vincent Neiger; Clément Pernet; Daniel S. Roche; Johan Rosenkilde (J. Symb. Comput., 2021)