Stathakidis, E.; Williams, D.; Heather, J. Verifying a Mix Net in CSP. eceasst 2014, 66.