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

Murat Moran Dan S. Wallach

Published in: CoRR (2017)

Keyphrases

database
evaluation method
empirical evaluation
evaluation metrics
data sets
social networks
information systems
similarity measure
multiscale
objective function
petri net
temporal logic
evaluation criteria
gold standard
comparative evaluation
cryptographic protocols