@conference{KULeuven-358154, author = "Pieter Agten and Raoul Strackx and Bart Jacobs and Frank Piessens", booktitle = "2012 IEEE 25th Computer Security Foundations Symposium (CSF 2012)", doi = "10.1109/CSF.2012.12", isbn = "978-1-4673-1918-8", issn = "1940-1434", month = "August", note = "partner: KUL; project: NESSoS; tier: A"; citations: 14", pages = "171--185", publisher = "IEEE", title = "{S}ecure compilation to modern processors", url = "https://lirias.kuleuven.be/handle/123456789/358154", year = "2012", }