Rachelle Heim, doctorante de l’équipe Crypto du LMV,
a obtenu le prix de thèse 2025 du GDR Sécurité informatique.
***
Cette année, le prix de thèse du GDR Sécurité Informatique a reçu 19 soumissions, et le jury était présidé par Stéphanie Delaune.
Par ce prix le GDR cherche à mettre en avant des travaux de jeunes scientifiques qui ont un intérêt et un impact particulier en sécurité informatique.
Le GDR Sécurité Informatique délivre son prix 2025 à :
Rachelle Heim, pour sa thèse « Cryptanalyse symétrique: des primitives aux modes »,
réalisée sous la direction de Henri Gilbert, Christina Boura et Yann Rotella.
Le jury a également souhaité distinguer un “accessit” (ou finaliste) :
Son Ho, pour sa thèse « Formal Verification of Rust Programs by Functional Translation »,
réalisée sous la direction de Bruno Blanchet, Jonathan Protzenko, et Karthikeyan Bhargavan.
Pour en savoir plus sur leur travail, vous pouvez consulter :
– Rachelle Heim : https://rachellehmbs.github.io/ et https://theses.fr/2024UPASG054
– Son Ho : https://www.sonho.fr/ et https://www.sonho.fr/papers/thesis-manuscript.pdf
Félicitations à tous les deux !