Sion, LaurensLaurensSionTuma, KatjaKatjaTumaScandariato, RiccardoRiccardoScandariatoYskout, KoenKoenYskoutJoosen, WouterWouterJoosen2021-10-272021-10-272019https://imec-publications.be/handle/20.500.12860/34018Towards automated security design flaw detectionProceedings paperhttps://ieeexplore.ieee.org/document/8967432