Michael Backes Peter Druschel Andreas Haeberlen Dominique Unruh CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable. 2009 NDSS http://www.isoc.org/isoc/conferences/ndss/09/pdf/20.pdf conf/ndss/2009 db/conf/ndss/ndss2009.html#BackesDHU09