Safe RPC - Auditing Mixnets Safely using Randomized Partial Checking.

Stefan Popoveniuc, Eugen Leontie

Browse the full SECRYPT paper archive.