@phdthesis { Aliaksei Tsitovi,
	title = {Scalable Abstractions for Efficient Security Checks},
	year = {2011},
	pages = {164},
	school = {University of Lugano},
	type = {PhD Thesis},
	address = {Lugano},
	author = {Aliaksei Tsitovich}
}