
@article {ar:PopescuHoelzl2014,
	title = {Probabilistic Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {A. Popescu and J. H{\"o}lzl}
}
@article {ar:PopescuHoelzl2012,
	title = {Possibilistic Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2012},
	author = {A. Popescu and J. H{\"o}lzl}
}
@conference {inp:PopescuHoelzlNipkow2012,
	title = {Proving Concurrent Noninterference},
	booktitle = {Proceedings of the 2nd International Conference on Certified Programs and Proofs (CPP 2012)},
	year = {2012},
	author = {A. Popescu and J. H{\"o}lzl and T. Nipkow}
}
