David A. Basin, Jannik Dreier, Ralf Sasse. Automated Symbolic Proofs of Observational Equivalence. In Indrajit Ray, Ninghui Li, Christopher Kruegel, editors, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-6, 2015. pages 1144-1155, ACM, 2015. [doi]
@inproceedings{BasinDS15,
title = {Automated Symbolic Proofs of Observational Equivalence},
author = {David A. Basin and Jannik Dreier and Ralf Sasse},
year = {2015},
doi = {10.1145/2810103.2813662},
url = {http://doi.acm.org/10.1145/2810103.2813662},
researchr = {https://researchr.org/publication/BasinDS15},
cites = {0},
citedby = {0},
pages = {1144-1155},
booktitle = {Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-6, 2015},
editor = {Indrajit Ray and Ninghui Li and Christopher Kruegel},
publisher = {ACM},
isbn = {978-1-4503-3832-5},
}