Theodoros Balopoulos

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas
Specifying and implementing privacy-preserving cryptographic protocols. Int. J. Inf. Sec. 7 (6) (2008)
Theodoros Balopoulos, Lazaros Gymnopoulos, Maria Karyda, Spyros Kokolakis, Stefanos Gritzalis, Sokratis K. Katsikas
A Framework for Exploiting Security Expertise in Application Development. TrustBus (2006)
Maria Karyda, Theodoros Balopoulos, Lazaros Gymnopoulos, Spyros Kokolakis, Costas Lambrinoudakis, Stefanos Gritzalis, Stelios Dritsas
An ontology for secure e-government applications. ARES (2006)
Stelios Dritsas, Lazaros Gymnopoulos, Maria Karyda, Theodoros Balopoulos, Spyros Kokolakis, Costas Lambrinoudakis, Stefanos Gritzalis
Employing Ontologies for the Development of Security Critical Applications. I3E (2005)
Theodoros Balopoulos, Stelios Dritsas, Lazaros Gymnopoulos, Maria Karyda, Spyros Kokolakis, Stefanos Gritzalis
Incorporating Security Requirements Into the Software Development Process. ECIW (2005)
Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas
Specifying Privacy-Preserving Protocols in Typed MSR. Comput. Stand. Interfaces 27 (5) (2005)
Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas
Specifying electronic voting protocols in typed MSR. WPES (2005)
Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas
An Extension of Typed MSR for Specifying Esoteric Protocols and Their Dolev-Yao Intruder. Communications and Multimedia Security (2004)
Theodoros Balopoulos, Stefanos Gritzalis
Towards a Logic of Privacy-Preserving Selective Disclosure Credential Protocols. DEXA Workshops (2003)