Efstathios Stathakidis

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Constructing and verifying a robust Mix Net using CSP.
Softw. Syst. Model., 2016

2015
Formal modelling and analysis of mix net implementations.
PhD thesis, 2015

Social Aspect of Vehicular Communications.
EAI Endorsed Trans. Cloud Syst., 2015

2014
Robustness Modelling and Verification of a Mix Net Protocol.
Proceedings of the Security Standardisation Research - First International Conference, 2014

2013
Verifying a Mix Net in CSP.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013


  Loading...