Anna-Katharina Wickert

Anna-Katharina Wickert

I am a doctoral researcher in the Software Technology Group. My research interests are focused on static code analysis, API mining and security. Currently, I focus on the security of cryptographic APIs.

A well-known problem of cryptography in software is that cryptographic APIs are used in an insecure way. An example is that developers use ECB as a block mode for encryption which is known to be insecure. Within my research we want to develop tools to support developers to write secure code.


I am a researcher in the project E1 – Secure Integration of Cryptographic Software of the SFB 1119 CROSSING. Within this project, our aim is to support software engineers to integrate cryptographic software components in a correct and secure way.

During my master, I was part of the GoRETech: Go Runtime Enforcement Techniques project. One of the aims of the project was to develop a static analysis for the programming language Go which can detect security threads in a distributed Go program. We proposed our idea in a paper and presented preliminary results of my master thesis at NWPT'16.

Open Theses

Ongoing Theses

Currently no items available.


Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item type | No grouping
Jump to: 2020 | 2019 | 2016
Number of items: 4.


Lauinger, Johannes ; Baumgärtner, Lars ; Wickert, Anna-Katharina ; Mezini, Mira (2020):
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.
In: Proceedings : 2020 IEEE 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, S. 410-417,
IEEE, TrustCom 2020, virtual Conference, 29.12.2020-01.01.2021, ISBN 978-0-7381-4380-4,
[Conference item]


Wickert, Anna-Katharina ; Reif, Michael ; Eichberg, Michael ; Dodhy, Anam ; Mezini, Mira (2019):
A Dataset of Parametric Cryptographic Misuses.
IEEE, 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), [Conference item]


I Pun, Ka ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael Larsen, Kim G. ; Srba, Jiří (Hrsg.) (2016):
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
S. 37-39, Aalborg, Nordic Workshop on Programming Theory (NWPT'16), [Conference item]

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2016):
Information Flow Analysis for Go.
9952, In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, S. 431-445, Springer International Publishing, ISBN 978-3-319-47166-2,
DOI: 10.1007/978-3-319-47166-2_30,
[Book section]

This list was generated on Wed May 12 05:59:22 2021 CEST.