Theodoros Balopoulos

Specifying electronic voting protocols in typed MSR

Stefanos Gritzalis, Sokratis K. Katsikas, Theodoros Balopoulos, 2005, WPES '05.

Employing Ontologies for the Development of Security Critical Applications

Costas Lambrinoudakis, Stefanos Gritzalis, Stelios Dritsas, 2005, I3E.

Specifying Privacy-Preserving Protocols in Typed MSR

Stefanos Gritzalis, Sokratis K. Katsikas, Theodoros Balopoulos, 2005, Comput. Stand. Interfaces.

Towards a logic of privacy-preserving selective disclosure credential protocols

Stefanos Gritzalis, Theodoros Balopoulos, 2003, 14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings..

Specifying and implementing privacy-preserving cryptographic protocols

Stefanos Gritzalis, Sokratis K. Katsikas, Theodoros Balopoulos, 2008, International Journal of Information Security.

A Framework for Exploiting Security Expertise in Application Development

Stefanos Gritzalis, Sokratis K. Katsikas, Spyros Kokolakis, 2006, TrustBus.

An ontology for secure e-government applications

Costas Lambrinoudakis, Stefanos Gritzalis, Stelios Dritsas, 2006, First International Conference on Availability, Reliability and Security (ARES'06).

An Extension of Typed MSR for Specifying Esoteric Protocols and Their Dolev-Yao Intruder

Stefanos Gritzalis, Sokratis K. Katsikas, Theodoros Balopoulos, 2004, Communications and Multimedia Security.

Incorporating Security Requirements Into the Software Development Process

Stefanos Gritzalis, Stelios Dritsas, Spyros Kokolakis, 2005, ECIW.