Certified Lightweight Contextual Policies for Android. - Mohamed Nassim Seghir; David Aspinall 001; Lenka Mareková (SecDev, 2016)

E-cclesia: Universally Composable Self-Tallying Elections. - Myrto Arapinis; Nikolaos Lamprou; Lenka Mareková; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2020)

Collective Information Security in Large-Scale Urban Protests: the Case of Hong Kong. - Martin R. Albrecht; Jorge Blasco; Rikke Bjerg Jensen; Lenka Mareková (USENIX Security Symposium, 2021)

Mesh Messaging in Large-scale Protests: Breaking Bridgefy. - Martin R. Albrecht; Jorge Blasco; Rikke Bjerg Jensen; Lenka Mareková (IACR Cryptol. ePrint Arch., 2021)

Caveat Implementor! Key Recovery Attacks on MEGA. - Martin R. Albrecht; Miro Haller; Lenka Mareková; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2023)

Four Attacks and a Proof for Telegram. - Martin R. Albrecht; Lenka Mareková; Kenneth G. Paterson; Igors Stepanovs (IACR Cryptol. ePrint Arch., 2023)

Cryptographic Analysis of Delta Chat. - Yuanming Song 002; Lenka Mareková; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2024)

Analysis of the Telegram Key Exchange. - Martin R. Albrecht; Lenka Mareková; Kenneth G. Paterson; Eyal Ronen; Igors Stepanovs (IACR Cryptol. ePrint Arch., 2025)