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