@techreport{Biel-etal-11-TR,
	author = {N. Bielova and D. Devriese and F. Massacci and F. Piessens},
	title = {Reactive non-interference for the browser: extended version},
	year = {2011},
	month = {February},
	number = {CW602},
	institution = {CS Dept., K.U.Leuven},
	url = {http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW602.abs.html}
}