A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske. CMV: automatic verification of complete mediation for java virtual machines. In Masayuki Abe, Virgil D. Gligor, editors, Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008. pages 100-111, ACM, 2008. [doi]
Abstract is missing.