@inproceedings{cav09cerny,
  author    = {Pavol {\v C}ern{\'y} and
               Rajeev Alur},
  title     = {Automated Analysis of Java Methods for Confidentiality},
  booktitle = {CAV},
  year      = {2009},
  pages     = {173-187},
  location   = {Grenoble, France},
  publisher  = {Springer}
}