CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable.

Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh

Browse the full NDSS paper archive.