@inproceedings{king_jaeger_jha_seshia_2008, 
  title={Effective blame for information-flow violations}, 
  DOI={10.1145/1453101.1453135}, 
  publisher={ACM Press}, 
  author={King and Jaeger and Jha and Seshia}, 
  year={2008}
  }