Formal Verification of the Security for Dual Connectivity in LTE. - Noamen Ben Henda; Karl Norrman; Katharina Pfeffer (FormaliSE@ICSE, 2015)

"If HTTPS Were Secure, I Wouldn't Need 2FA" - End User and Administrator Mental Models of HTTPS. - Katharina Krombholz; Karoline Busse; Katharina Pfeffer; Matthew Smith 001; Emanuel von Zezschwitz (IEEE Symposium on Security and Privacy, 2019)

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)

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