@conference{KULeuven-350547,
author = "Gilles Barthe and Juan Manuel Crespo and Dominique Devriese and Frank Piessens and Exequiel Rivas",
booktitle = "Formal Techniques for Distributed Systems (FMOODS/FORTE 2012)",
doi = "10.1007/978-3-642-30793-5_12",
isbn = "978-3-642-30792-8",
issn = "0302-9743",
month = "June",
note = "partner: IMDEA,KUL; projects: NESSoS,HATS,WebSand; 
tier: A
CITE(03/03/2014):10",
pages = "186--202",
publisher = "Springer Berlin Heidelberg",
title = "{S}ecure multi-execution through static program transformation",
url = "https://lirias.kuleuven.be/handle/123456789/350547",
volume = "7273",
year = "2012",
}