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

Verification of STAR-Vote and Evaluation of FDR and ProVerif

Murat Moran
D. Wallach
ArXiv (abs)PDFHTML

Papers citing "Verification of STAR-Vote and Evaluation of FDR and ProVerif"

Title
No papers