Verifying a Mix Net in CSP (2013)

First Author: Efstathios Stathakidis, David Williams And James Heather:
Attributed to:  Trustworthy Voting Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Volume: AVOCS

Parent Publication: 13th Workshop on Automated Verification of Critical Systems