CMV: automatic verification of complete mediation for java virtual machines.

A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske

Browse the full CCS paper archive.