TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 4.

Lauinger, Johannes and Baumgärtner, Lars and Wickert, Anna-Katharina and Mezini, Mira (2020):
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.
IEEE, 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020), virtual Conference, 29.12.2020-01.01.2021, [Conference or Workshop Item]

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

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

Bodden, Eric and Pun, Ka I. and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina Margaria, Tiziana and Steffen, Bernhard (eds.) (2016):
Information Flow Analysis for Go.
9952, In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, pp. 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 Sat Jan 23 01:47:37 2021 CET.