@inproceedings{artho09asa,
  author = {C. Artho and Y. Oiwa and K. Suzaki and M. Hagiya},
  title = {Extraction of properties in C implementations of security APIs for verification of Java applications},
  booktitle = {Proc.\ 3rd Int.\ Workshop on Analysis of Security APIs},
  year = {2009},
}