Towards a Logic of Privacy-Preserving Selective Disclosure Credential Protocols. - Theodoros Balopoulos; Stefanos Gritzalis (DEXA Workshops, 2003)

An Extension of Typed MSR for Specifying Esoteric Protocols and Their Dolev-Yao Intruder. - Theodoros Balopoulos; Stefanos Gritzalis; Sokratis K. Katsikas (Communications and Multimedia Security, 2004)

Incorporating Security Requirements Into the Software Development Process. - Theodoros Balopoulos; Stelios Dritsas; Lazaros Gymnopoulos; Maria Karyda 001; Spyros Kokolakis; Stefanos Gritzalis (ECIW, 2005)

Employing Ontologies for the Development of Security Critical Applications. - Stelios Dritsas; Lazaros Gymnopoulos; Maria Karyda 001; Theodoros Balopoulos; Spyros Kokolakis; Costas Lambrinoudakis; Stefanos Gritzalis (I3E, 2005)

Specifying electronic voting protocols in typed MSR. - Theodoros Balopoulos; Stefanos Gritzalis; Sokratis K. Katsikas (WPES, 2005)

Specifying Privacy-Preserving Protocols in Typed MSR. - Theodoros Balopoulos; Stefanos Gritzalis; Sokratis K. Katsikas (Comput. Stand. Interfaces, 2005)

An ontology for secure e-government applications. - Maria Karyda 001; Theodoros Balopoulos; Lazaros Gymnopoulos; Spyros Kokolakis; Costas Lambrinoudakis; Stefanos Gritzalis; Stelios Dritsas (ARES, 2006)

A Framework for Exploiting Security Expertise in Application Development. - Theodoros Balopoulos; Lazaros Gymnopoulos; Maria Karyda 001; Spyros Kokolakis; Stefanos Gritzalis; Sokratis K. Katsikas (TrustBus, 2006)

Specifying and implementing privacy-preserving cryptographic protocols. - Theodoros Balopoulos; Stefanos Gritzalis; Sokratis K. Katsikas (Int. J. Inf. Sec., 2008)

Specifying and implementing privacy-preserving cryptographic protocols - Theodoros Balopoulos (2008)