PUBLICATIONS
CiC Volume 3, Issue 2
▪
Side-Channel Secure CSIDH with Projective Coordinates
Jonas Meers, Anna Guinet, Georg Land, Elisabeth Krahmer, Tim Güneysu
Published Paper
Git
Bibtex
TCHES 2026, Issue 3
▪
LFSRs and Boolean Masking: An In-depth Security Analysis
Anna Guinet, Jan Schoone, Niklas Höher, Dina Hesse, Tim Güneysu
Published Paper
Preprint (Extended Version)
Artifact
Git (Extended Version)
Bibtex
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
Published Paper
Preprint (Minor Revision)
Artifact
Bibtex
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
Published 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
Published Paper
Preprint (Extended Version)
Git: VERICA+
Git: IronMark+
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
Published 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
Published Paper
Preprint (Extended Version)
Git
Bibtex
Video
