A security policy oracle: detecting security holes using multiple API implementations.

Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov

Browse the full PLDI paper archive.