Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov. A security policy oracle: detecting security holes using multiple API implementations. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 343-354, ACM, 2011. [doi]
Abstract is missing.