Ciminion: Symmetric Encryption Based on Toffoli-Gates over Large Finite Fields. - Christoph Dobraunig; Lorenzo Grassi 001; Anna Guinet; Daniël Kuijsters (IACR Cryptol. ePrint Arch., 2021)

INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis. - Christof Beierle; Jakob Feldtkeller; Anna Guinet; Tim Güneysu; Gregor Leander; Jan Richter-Brockmann; Pascal Sasdrich (IACR Cryptol. ePrint Arch., 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 (IACR Cryptol. ePrint Arch., 2024)

A Tale of Snakes and Horses: Amplifying Correlation Power Analysis on Quadratic Maps. - Anna Guinet; Georg Land; Ioan Gabriel Bucur; Tim Güneysu (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)