A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops. - Andreas Ibing; Alexandra Mai (HASE, 2015)

User Mental Models of Cryptocurrency Systems - A Grounded Theory Approach. - Alexandra Mai; Katharina Pfeffer; Matthias Gusenbauer; Edgar R. Weippl; Katharina Krombholz (SOUPS @ USENIX Security Symposium, 2020)

Better Keep Cash in Your Boots - Hardware Wallets are the New Single Point of Failure. - Adrian Dabrowski; Katharina Pfeffer; Markus Reichel; Alexandra Mai; Edgar R. Weippl; Michael Franz (DeFi@CCS, 2021)

On the Usability of Authenticity Checks for Hardware Security Tokens. - Katharina Pfeffer; Alexandra Mai; Adrian Dabrowski; Matthias Gusenbauer; Philipp Schindler; Edgar R. Weippl; Michael Franz; Katharina Krombholz (USENIX Security Symposium, 2021)

Mental Models of the Internet and Its Online Risks: Children and Their Parent(s). - Alexandra Mai; Leonard Guelmino; Katharina Pfeffer; Edgar R. Weippl; Katharina Krombholz (HCI (32), 2022)

Are HTTPS Configurations Still a Challenge?: Validating Theories of Administrators' Difficulties with TLS Configurations. - Alexandra Mai; Oliver Schedler; Edgar R. Weippl; Katharina Krombholz (HCI (32), 2022)

Replication: Stories as Informal Lessons about Security. - Katharina Pfeffer; Alexandra Mai; Edgar R. Weippl; Emilee Rader; Katharina Krombholz (SOUPS @ USENIX Security Symposium, 2022)

Expert Mental Models of SSI Systems and Implications for End-User Understanding. - Alexandra Mai (IACR Cryptol. ePrint Arch., 2022)