Van den Berghe, AlexanderAlexanderVan den BergheYskout, KoenKoenYskoutJoosen, WouterWouterJoosenScandariato, RiccardoRiccardoScandariato2021-10-242021-10-242017https://imec-publications.be/handle/20.500.12860/29645A model for provably secure software designProceedings paperhttps://dl.acm.org/citation.cfm?id=3101294