@inproceedings{KovacsCCS13, author = {M\'at\'e Kov\'acs and Helmut Seidl and Bernd Finkbeiner}, title = {Relational {A}bstract {I}nterpretation for the {V}erification of 2-{H}ypersafety {P}roperties}, booktitle = {Proceedings of the 20th ACM conference on Computer and Communications Security (CCS 2013)}, month = {November}, year = 2013, }