@inproceedings{ASPObsEq,
  author    = {David Basin and
              Jannik Dreier and 
              Ralf Sasse},
  title     = {Automated Symbolic Proofs of Observational Equivalence},
  booktitle = {Proceedings of the 2015 {ACM} {SIGSAC} Conference on Computer and
               Communications Security},
  editor    = {Indrajit Ray and
               Ninghui Li and
               Christopher Kruegel},
  year      = {2015},
  pages     = {1144-1155},
  publisher = {ACM},
  url       = {http://doi.acm.org/10.1145/2810103.2813662},
  doi       = {10.1145/2810103.2813662},
  ee        = {http://dx.doi.org/10.1145/2810103.2813662}
}