Secure multi-execution through static program transformation

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Barthe, Gilles Crespo, Juan Manuel Devriese, Dominique Piessens, Frank Rivas, Exequiel
Volume:	7273
Book title:	Formal Techniques for Distributed Systems (FMOODS/FORTE 2012)
Pages:	186-202

Month:	June
ISBN:	978-3-642-30792-8	ISSN:	0302-9743

@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", }
Note:	partner: IMDEA,KUL; projects: NESSoS,HATS,WebSand; tier: A CITE(03/03/2014):10
Online version [Bibtex]