(1)
Stathakidis, E.; Williams, D.; Heather, J. Verifying a Mix Net in CSP.
ECEASST
2014
,
66
.