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]
Abstract is missing.