Tania Richmond
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2013–2023
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ACNS | BIKE Key-Recovery: Combining Power Consumption Analysis and Information-Set Decoding. | Agathe Cheriere, Nicolas Aragon, Tania Richmond, Benot Grard |
| 2022 | PEPM | Semi-automatic ladderisation: improving code security through rewriting and dependent types. | Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu |
| 2020 | ARITH | A Hole in the Ladder : Interleaved Variables in Iterative Conditional Branching. | Yoann Marquer, Tania Richmond |
| 2018 | CARDIS | Improving Side-Channel Analysis Through Semi-supervised Learning. | Stjepan Picek, Annelie Heuser, Alan Jovic, Karlo Knezevic, Tania Richmond |
| 2018 | ISoLA | Statistical Model Checking of Incomplete Stochastic Systems. | Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez |
| 2013 | INDOCRYPT | Polynomial Structures in Code-Based Cryptography. | Vlad Dragoi, Pierre-Louis Cayrel, Brice Colombier, Tania Richmond |