Automating the early detection of security design flaws

Tuma, KatjaKatjaTumaSion, LaurensLaurensSionScandariato, RiccardioRiccardioScandariatoYskout, KoenKoenYskout2021-10-292021-10-292020https://imec-publications.be/handle/20.500.12860/36093Automating the early detection of security design flawsProceedings paperhttps://doi.org/10.1145/3365438.3410954