@inproceedings{SJS06,
  author    = {Umesh Shankar and
               Trent Jaeger and
               Reiner Sailer},
  title     = {Toward Automated Information-Flow Integrity Verification
               for Security-Critical Applications.},
  booktitle = {Proceedings of the Network and Distributed System Security
               Symposium, (NDSS 2006)},
  location  = {San Diego, CA, USA},
  year      = {2006},
  ee        = {http://www.isoc.org/isoc/conferences/ndss/06/proceedings/html/2006/papers/automated_information_flow_verification.pdf},
}