Scalable Abstractions for Efficient Security Checks | Formal Verification and Security Lab

Publication Type:

Thesis

Authors:

Tsitovich, A.

Source:

Faculty of Informatics, University of Lugano, Lugano, p.164 (2011)

BibTex

@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}
}

Attachment	Size
Aliaksei_Tsitovich_PhD_Thesis.pdf	723.82 KB