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