Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation. - Antonín Dufka; Jakub Janku; Petr Svenda (ARES, 2024)

Forking Lemma in EasyCrypt. - Denis Firsov; Jakub Janku (IACR Cryptol. ePrint Arch., 2025)