
@conference {inp:KovacsSeidlFinkbeiner13,
	title = {Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties},
	booktitle = {Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS 2013)},
	year = {2013},
	author = {M. Kov{\'a}cs and H. Seidl and B. Finkbeiner}
}
