Ensuring threat-model assumptions by using static code analyses.

Johannes Geismann, Bastian Haverkamp, Eric Bodden

Browse the full ECSA paper archive.