Efstathios Stathakidis

According to our database, Efstathios Stathakidis authored at least 5 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Constructing and verifying a robust Mix Net using CSP.

Efstathios Stathakidis, David M. Williams, James Heather

Softw. Syst. Model., 2016

2015

Formal modelling and analysis of mix net implementations.

Efstathios Stathakidis

PhD thesis, 2015

Social Aspect of Vehicular Communications.

Leandros A. Maglaras, Efstathios Stathakidis, Jianmin Jiang

EAI Endorsed Trans. Cloud Syst., 2015

2014

Robustness Modelling and Verification of a Mix Net Protocol.

Efstathios Stathakidis, Steve A. Schneider, James Heather

Proceedings of the Security Standardisation Research - First International Conference, 2014

2013

Verifying a Mix Net in CSP.

Efstathios Stathakidis, David M. Williams, James Heather

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