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
72016
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
32019
Large-Scale Manual Validation of Bug Fixing Commits: A Fine-grained Analysis of Tangling
S Herbold, A Trautsch, B Ledel, A Aghamohammadi, TA Ghaleb, ...
arXiv preprint arXiv:2011.06244, 2020
22020
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild
J Lauinger, L Baumgärtner, AK Wickert, M Mezini
2020 IEEE 19th International Conference on Trust, Security and Privacy in …, 2020
2020
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–5