Verification of STAR-Vote and Evaluation of FDR and ProVerif.

Murat Moran, Dan S. Wallach

Browse the full IFM paper archive.