Automating the early detection of security design flaws.

Katja Tuma, Laurens Sion, Riccardo Scandariato, Koen Yskout

Browse the full MODELS paper archive.