@inproceedings{backes09csar,
  author       = {Backes, Michael and Druschel, Peter and Haeberlen, Andreas and Unruh, Dominique},
  title        = {CSAR: A practical and provable technique to make randomized
    systems accountable},
  booktitle    = {NDSS 2009},
  month        = {February},
  year         = {2009},
  publisher    = {The Internet Society},
  pages        = {341-353}
}