Ensuring threat-model assumptions by using static code analyses. - Johannes Geismann; Bastian Haverkamp; Eric Bodden (ECSA (Companion), 2021)