Polynomial Structures in Code-Based Cryptography. - Vlad Dragoi; Pierre-Louis Cayrel; Brice Colombier; Tania Richmond (INDOCRYPT, 2013)

Implantation sécurisée de protocoles cryptographiques basés sur les codes correcteurs d'erreurs. (Secure implementation of cryptographic protocols based on error-correcting codes). - Tania Richmond (2016)

Improved Timing Attacks against the Secret Permutation in the McEliece PKC. - Dominic Bucerzan; Pierre-Louis Cayrel; Vlad Dragoi; Tania Richmond (Int. J. Comput. Commun. Control, 2017)

Improving Side-Channel Analysis Through Semi-supervised Learning. - Stjepan Picek; Annelie Heuser; Alan Jovic; Karlo Knezevic; Tania Richmond (CARDIS, 2018)

Statistical Model Checking of Incomplete Stochastic Systems. - Shiraj Arora; Axel Legay; Tania Richmond; Louis-Marie Traonouez (ISoLA (2), 2018)

A Hole in the Ladder : Interleaved Variables in Iterative Conditional Branching. - Yoann Marquer; Tania Richmond (ARITH, 2020)

A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version). - Yoann Marquer; Tania Richmond; Pascal Véron (CoRR, 2021)

Side-Channel Attack on ROLLO Post-Quantum Cryptographic Scheme. - Agathe Cheriere; Lina Mortajine; Tania Richmond; Nadia El Mrabet (IACR Cryptol. ePrint Arch., 2021)

Semi-automatic ladderisation: improving code security through rewriting and dependent types. - Christopher Brown 002; Adam D. Barwell; Yoann Marquer; Olivier Zendra; Tania Richmond; Chen Gu (PEPM@POPL, 2022)

BIKE Key-Recovery: Combining Power Consumption Analysis and Information-Set Decoding. - Agathe Cheriere; Nicolas Aragon; Tania Richmond; Benoît Gérard (ACNS (1), 2023)

Exploiting ROLLO's constant-time implementations with a single-trace analysis. - Agathe Cheriere; Lina Mortajine; Tania Richmond; Nadia El Mrabet (Des. Codes Cryptogr., 2024)