S.K. Katsikas, “Doctoral Programme on Information and Communication Systems Security at the University of the Aegean”, in Proceedings, SEC2004, Toulouse, France, 2004.
T. Balopoulos, S. Gritzalis, S.K. Katsikas, “An Extension of Typed MSR for specifying Esoteric Protocols and their Dolev-Yao Intruder”, in Proceedings of the CMS’2004 IFIP TC6/TC11 International Conference on Communications and Multimedia Security, Salford, UK, σελ. 209-221, 2004.