Biography

I was born in Orestiada, Greece. I received my BSc degree in Computer Science from the University of Crete, Heraklion, Greece in 2006. Having completed my military service and worked for almost one year in the public sector, I joined the Computing Department, University of Surrey in 2008. I received my MSc in Security Technologies and Application in 2009 with Distinction.

Since January 2010, I have been a PhD student in the Computing Department, supervised by Dr. James Heather and co-supervised by Prof. Steve Schneider. I am member of the Formal Methods and Security (FMS) group and Trustworthy Voting Systems (TVS) project. My studies are funded by EPSRC.  

Research Interests

As member of  FMS and TVS groups, I am particularly interested in Security, Cryptography and e-Voting schemes. I am mainly focused on universally verified cryptographic protocols and especially on MIX-nets. Modeling security and cryptographic protocols in CSP (Communicating Sequential Processes) is a challenging area where I do my research.

Teaching

This semester (autumn 2011-12) I am teaching assistant in:

• COM3009 - Computer Security (taught by Prof. Steve Schneider)
• COM1031 - Computer Logic (taught by  Dr. Andre Gruning)

My lindkedin profile

My facebook profile