Verifying a Mix Net in CSP. - Efstathios Stathakidis; David M. Williams; James Heather (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Robustness Modelling and Verification of a Mix Net Protocol. - Efstathios Stathakidis; Steve A. Schneider; James Heather (SSR, 2014)

Social Aspect of Vehicular Communications. - Leandros A. Maglaras; Efstathios Stathakidis; Jianmin Jiang (EAI Endorsed Trans. Cloud Syst., 2015)

Formal modelling and analysis of mix net implementations. - Efstathios Stathakidis (2015)

Constructing and verifying a robust Mix Net using CSP. - Efstathios Stathakidis; David M. Williams; James Heather (Softw. Syst. Model., 2016)