@techreport{KULeuven-344567,
	author = {Barthe, Gilles and Crespo, Juan Manuel and Devriese, Dominique and Piessens, Frank and Rivas, Exequiel},
	title = {Secure multi-execution through static program transformation: extended version},
	year = {2012},
	month = {April},
	number = {CW620},
	url = {https://lirias.kuleuven.be/handle/123456789/344567},
	institution = {Department of Computer Science, KU Leuven},
	type = {CW Reports}
}