Floragasse 7 – 5th floor, 1040 Vienna

Katharina Pfeffer

Katharina Pfeffer

is researcher at SBA Research.

Research Interests

Katharina’s research interests include usable security and automated model checking of security protocols.


Bio

Katharina received a bachelor’s degree in Computer Science from the University of Vienna and a master’s degree in Communication Systems from the KTH Royal Institute of Technology, Sweden, with emphasis on IT security.  Prior joining SBA Research, she worked for Ericsson Research, Sweden, in the area of security analytics where she also served as a standardization delegate for 3GPP in the security working group. In 2016 she co-founded the IT company The Code Yard, which focuses on web and mobile application development.  Currently, she is a PhD candidate.


Publications

Top Publications:

  • Formal Verification of the Security for Dual Connectivity in LTE (2015)
    • INPROCEEDINGS--
    • Noomene Ben Henda and Karl Norrman and Katharina Pfeffer
    • IEEE_ACM 3rd FME Workshop on Formal Methods in Software Engineering
    @INPROCEEDINGS{Henda2015Formal,
       author = {Noomene Ben Henda and Karl Norrman and Katharina Pfeffer},
       title = {Formal Verification of the Security for Dual Connectivity in LTE},
       booktitle = {IEEE_ACM 3rd FME Workshop on Formal Methods in Software Engineering},
       year = {2015},
       month = {5},
       pdf = {2015-Pfeffer-Formal_Verification.pdf},
    }
  • "If HTTPS Were Secure, I wouldn´t need 2FA"-End User and Administrator Mental Models of HTTPS (2019)
    • INPROCEEDINGStruetrue
    • Katharina Krombholz and Karoline Busse and Katharina Pfeffer and Matthew Smith and Emanuel von Zezschwitz
    • 2019 IEEE Symposium on Security and Privacy (SP)
    @INPROCEEDINGS{Krombholz2019HTTPS,
       author = {Katharina Krombholz and Karoline Busse and Katharina Pfeffer and Matthew Smith and Emanuel von Zezschwitz},
       authorhotlist = {true},
       sbahotlist = {true},
       title = {"If HTTPS Were Secure,
       I wouldn´t need 2FA"-End User and Administrator Mental Models of HTTPS},
       booktitle = { 2019 IEEE Symposium on Security and Privacy (SP)},
       year = {2019},
       month = {1},
       pdf = {2019-Pfeffer-HTTPS_Mental_Models.pdf},
    }
  • User Mental Models of Cryptocurrency Systems - A Grounded Theory Approach (2020)
    • INPROCEEDINGS-true
    • Alexandra Mai and Katharina Pfeffer and Matthias Gusenbauer and Edgar R. Weippl and Katharina Krombholz
    • 16th Symposium On Usable Privacy And Security (SOUPS 2020)
    @INPROCEEDINGS{Mai2020User,
       author = {Alexandra Mai and Katharina Pfeffer and Matthias Gusenbauer and {Edgar R.} Weippl and Katharina Krombholz},
       authorhotlist = {true},
       title = {User Mental Models of Cryptocurrency Systems - A Grounded Theory Approach},
       booktitle = {16th Symposium On Usable Privacy And Security (SOUPS 2020)},
       year = {2020},
       month = {8},
       pdf = {202008 - AMai - CR_Soups_Bitcoin_MM.pdf},
    }

This Website uses Cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.

Close