Blog – Anna Guinet (original) (raw)
Welcome
I am a PhD candidate at the Chair of Security Engineering, RUB, Bochum, Germany. I am studying side-channel attacks and security engineering under the supervision of Tim Güneysu.
In 2017, I completed a Master's Degree at Télécom SudParis, in telecommunication engineering, with a specialization in network and system security.
My current research interests are:
- Side-channel attacks
- Formal verification of masked implementations
News
TALK November 2025
Presented Testing Security Equivalence in the Random Probing Model with Carina Graw, at CASA colloquium, Ruhr-University Bochum, Bochum, Germany
TALK October 2025
Presented Masking CSIDH with Elisabeth Krahmer and Jonas Meers at CASA colloquium, Ruhr-University Bochum, Bochum, Germany
PREPRINT October 2025
Preprint available: Testing Security Equivalence in the Random Probing Model with Carina Graw, Lukas Koletzko, Jan Richter-Brockmann, Holger Dette and Tim Güneysu
PUBLICATION September 2025
TCHES 2026, Issue 1, accepted paper: Testing Security Equivalence in the Random Probing Model with Carina Graw, Lukas Koletzko, Jan Richter-Brockmann, Holger Dette and Tim Güneysu
LOGO August 2025
Designed HADES logo for HADES: Automated Hardware Design Exploration for Cryptographic Primitives publication appearing at TCHES 2025, Issue 4, by Fabian Buschkowski, Georg Land, Niklas Höher, Jan Richter-Brockmann, Pascal Sasdrich and Tim Güneysu. The tool is available on Github.
INTERNSHIP April to June 2025
Research visit as part of doctoral studies at CryptoExperts in Paris, France, with the support of CASA.
PUBLICATION March 2025
Eurocrypt 2025, accepted paper: INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis with Christof Beierle, Jakob Feldtkeller, Tim Güneysu, Gregor Leander, Jan Richter-Brockmann and Pascal Sasdrich
PUBLICATION September 2024
Asiacrypt 2024, accepted paper: Formal Definition and Verification for Combined Random Fault and Random Probing Security with Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich and Abdul Rahman Taleb