Automated Analysis of Java Methods for Confidentiality.

Pavol Cern, Rajeev Alur

Browse the full CAV paper archive.