Tania Richmond

According to our database, Tania Richmond authored at least 11 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Exploiting ROLLO's constant-time implementations with a single-trace analysis.

Agathe Cheriere, Lina Mortajine, Tania Richmond, Nadia El Mrabet

Des. Codes Cryptogr., March, 2024

2023

BIKE Key-Recovery: Combining Power Consumption Analysis and Information-Set Decoding.

Agathe Cheriere, Nicolas Aragon, Tania Richmond, Benoît Gérard

Proceedings of the Applied Cryptography and Network Security, 2023

2022

Semi-automatic ladderisation: improving code security through rewriting and dependent types.

Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu

Proceedings of the PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17, 2022

2021

Side-Channel Attack on ROLLO Post-Quantum Cryptographic Scheme.

Agathe Cheriere, Lina Mortajine, Tania Richmond, Nadia El Mrabet

IACR Cryptol. ePrint Arch., 2021

A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version).

Yoann Marquer, Tania Richmond, Pascal Véron

CoRR, 2021

2020

A Hole in the Ladder : Interleaved Variables in Iterative Conditional Branching.

Yoann Marquer, Tania Richmond

Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020

2018

Statistical Model Checking of Incomplete Stochastic Systems.

Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Improving Side-Channel Analysis Through Semi-supervised Learning.

Stjepan Picek, Annelie Heuser, Alan Jovic, Karlo Knezevic, Tania Richmond

Proceedings of the Smart Card Research and Advanced Applications, 2018

2017

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

2016

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

PhD thesis, 2016

2013

Polynomial Structures in Code-Based Cryptography.

Vlad Dragoi, Pierre-Louis Cayrel, Brice Colombier, Tania Richmond

Proceedings of the Progress in Cryptology - INDOCRYPT 2013, 2013