E. Stathakidis, D. Williams, and J. Heather, “Verifying a Mix Net in CSP”, ECEASST, vol. 66, Feb. 2014.