Efstathios Stathakidis

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Database Programming

Constraint Satisfaction Problems

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Softw. Syst. Model.

EAI Endorsed Trans. Cloud Syst.

University of Surrey, Guildford, UK (PHD)

Education History

University of Surrey, Guildford, UK

PHD

Publications

Efstathios Stathakidis, David M. Williams, James Heather
Constructing and verifying a robust Mix Net using CSP. Softw. Syst. Model. 15 (4) (2016)
Leandros A. Maglaras, Efstathios Stathakidis, Jianmin Jiang
Social Aspect of Vehicular Communications. EAI Endorsed Trans. Cloud Syst. 1 (1) (2015)
Efstathios Stathakidis, Steve A. Schneider, James Heather
Robustness Modelling and Verification of a Mix Net Protocol. SSR (2014)
Efstathios Stathakidis, David M. Williams, James Heather
Verifying a Mix Net in CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)