Formal Language Theory for Practical Security - Extended Abstract -. - Andreas Jakoby; Jannis Leuther; Stefan Lucks (SP (Workshops), 2021)

QCB is Blindly Unforgeable. - Jannis Leuther; Stefan Lucks (IACR Cryptol. ePrint Arch., 2023)

Generic Composition: From Classical to Quantum Security. - Nathalie Lang; Jannis Leuther; Stefan Lucks (IACR Cryptol. ePrint Arch., 2025)