@inproceedings{backes-2008-csar-tr,
  author = {Michael Backes and Peter Druschel and Andreas Haeberlen and Dominique Unruh},
  title = {{CSAR:} A Practical and Provable Technique to Make Randomized Systems Accountable},
  institution = {Max Planck Institute for Software Systems},
  year = {2008},
  month = {Dec},
  number = {MPI-SWS-2008-002}
}