Anna-Katharina Wickert
Anna-Katharina Wickert
Verified email at cs.tu-darmstadt.de - Homepage
Title
Cited by
Cited by
Year
Information flow analysis for go
E Bodden, KI Pun, M Steffen, V Stolz, AK Wickert
International Symposium on Leveraging Applications of Formal Methods, 431-445, 2016
52016
A dataset of parametric cryptographic misuses
AK Wickert, M Reif, M Eichberg, A Dodhy, M Mezini
2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019
12019
Don’t let data Go astray
KI Pun, M Steffen, V Stolz, AK Wickert, E Bodden, M Eichberg
The system can't perform the operation now. Try again later.
Articles 1–3