Johannes Geismann, Bastian Haverkamp, Eric Bodden. Ensuring threat-model assumptions by using static code analyses. In Robert Heinrich, Raffaela Mirandola, Danny Weyns, editors, ECSA 2021 Companion Volume, Virtual (originally: Växjö, Sweden), 13-17 September, 2021. Volume 2978 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]
Abstract is missing.