@InProceedings{JJR02,
  author = 	 { Markus Jakobsson and Ari Juels and Ronald L. Rivest },
  title = 	 { Making Mix Nets Robust for Electronic Voting by Randomized Partial Checking },
  pages = 	 { 339--353 },
  booktitle =    { Proceedings USENIX Security 2002 },
  publisher =    { USENIX },
  editor = 	 { Dan Boneh },
  date =         { 2002-08 },                  
  OPTyear = 	 { 2002 },
  OPTmonth = 	 { August 5--9, },
  eventtitle =   { SEC'02 },                  
  eventdate =    { 2002-08-05/2002-08-09 },
  venue =        { San Francisco, California },                  
  urla =         { <a href="http://www.usenix.org/publications/library/proceedings/sec02/">SEC'02</a> },                  
  urlb =         { <a href="http://eprint.iacr.org/2002/025">eprint</a> },                  
  note = 	 { Also available as IACR eprint 2002/025. },
  abstract =     {
        We propose a new technique for making mix nets
        robust, called randomized partial checking (RPC).
        The basic idea is that rather than providing a proof
        of completely correct operation, each server provides
        strong evidence of its correct operation by
        revealing a pseudo-randomly selected subset of its
        input/output relations.                  
                 },
}