Anna Guinet

PhD Candidate

Ruhr Universität Bochum

PUBLICATIONS

TCHES 2026, Issue 1 ▪ Testing Security Equivalence in the Random Probing Model
Anna Guinet, Carina Graw, Lukas Koletzko, Jan Richter-Brockmann, Holger Dette, Tim Güneysu
EUROCRYPT 2025 ▪ INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis
Christof Beierle, Jakob Feldtkeller, Anna Guinet, Tim Güneysu, Gregor Leander, Jan Richter-Brockmann, Pascal Sasdrich
Conference Paper Preprint (Extended Version) Bibtex   Presentation Slides
Asiacrypt 2024 ▪ Formal Definition and Verification for Combined Random Fault and Random Probing Security
Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
Conference Paper Preprint (Extended Version) Bibtex   Presentation Slides
TCHES 2024, Issue 1 ▪ A Tale of Snakes and Horses: Amplifying Correlation Power Analysis on Quadratic Maps
Anna Guinet, Georg Land, Ioan Gabriel Bucur, Tim Güneysu
Conference Paper Artifact Bibtex Presentation Slides
Eurocrypt 2021 ▪ Ciminion: Symmetric Encryption Based on Toffoli-Gates over Large Finite Fields
Christoph Dobraunig, Lorenzo Grassi, Anna Guinet, Daniël Kuijsters
Conference Paper Preprint (Extended Version) Bibtex Video

CONTACT

email (at) annagui.net

Ruhr-University Bochum
Faculty of Computer Science
Security Engineering
Universitätsstraße 150
44801 Bochum

Google Scholar

GitHub ▪ ORCID

LinkedIn ▪ ResearchGate