@inproceedings{KovacsSF13, author = {Mate Kovacs and Helmut Seidl and Bernd Finkbeiner}, title = {Relational abstract interpretation for the verification of 2-hypersafety properties}, booktitle = {2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013}, editor = {Ahmad-Reza Sadeghi and Virgil D. Gligor and Moti Yung}, year = 2013, pages = {211--222}, publisher = {ACM}, doi = {10.1145/2508859.2516721}, }