@techreport{KULeuven-346481,
author = "Pieter Agten and Raoul Strackx and Bart Jacobs and Frank Piessens",
institution = "Department of Computer Science, KU Leuven",
month = "April",
note = "partner: KUL; project: NESSoS; tier: NoTier; citations: 1",
number = "CW619",
title = "{S}ecure compilation to modern processors: extended version",
type = "CW Reports",
url = "https://lirias.kuleuven.be/handle/123456789/346481",
year = "2012",
}