@inproceedings{LeHoYiCh15,
  author = "Woosuk Lee and Hyunsook Hong and Kwangkeun Yi and Jung Hee Cheon",
  title = "Static Analysis with Set-closure in Secrecy",
  booktitle = "SAS 2015: 22nd International Static Analysis Symposium",
  volume = "9291",
  series = "Lecture Notes in Computer Science",
  year = "2015",
  publisher = "Springer-Verlag"
}