Dr Thomas Zacharias

  • Lecturer in Cybersecurity (School of Computing Science)

telephone: 0141 330 0264
email: Thomas.Zacharias@glasgow.ac.uk

Room 405, 1 Lilybank Gardens, Hillhead, Glasgow, Glasgow City, G12 8RZ

Import to contacts

ORCID iDhttps://orcid.org/0000-0002-5022-8543

Biography

I am a Lecturer in Cybersecurity at the School of Computing Science at the University of Glasgow. Previously, I worked as a Senior Researcher at the University of Edinburgh. I hold a PhD in Cryptography from the Department of Informatics and Telecommunications at the University of Athens. My academic background includes Theoretical Computer Science (MSc), Pure Mathematics (BSc), and Electrical and Computer Engineering (BEng).

My research focuses on problems of Cybersecurity and Privacy examined from a cryptographic perspective, which comprises formal modelling, design and analysis of provably secure constructions that build upon state-of-the-art cryptographic tools. My main research areas are: 1) electronic voting (e-voting), 2) privacy-preserving communications, 3) blockchain protocols, 4) multi-party computation, and 5) foundations of Cryptography.

Besides its pure academic contribution, my work aims at designing and analysing usable cryptographic systems that can find real-world applications. I am a leading member of the Pebble project team with the goal of designing, implementing, and commercialising decentralised e-voting solutions.

Currently, I explore the problem of decentralisation as it manifests in several interesting classes of distributed protocols (e.g. e-voting systems, blockchain protocols, and contact tracing schemes). 

Research interests

  • Electronic voting (e-voting)
  • Blockchain protocols
  • Privacy-preserving communication protocols
  • Formal modelling of security
  • Secure multi-party computation

Publications

List by: Type | Date

Jump to: 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017
Number of items: 11.

2023

Stouka, A.-P. and Zacharias, T. (2023) On the (De) centralization of FruitChains. In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF), Dubrovnik, Croatia, 10-14 July 2023, ISBN 9798350321920 (doi: 10.1109/csf57540.2023.00020)

Abadi, A., Murdoch, S. J. and Zacharias, T. (2023) Recurring Contingent Service Payment. In: 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), Delft, Netherlands, 3-7 July 2023, pp. 724-756. ISBN 9781665465120 (doi: 10.1109/eurosp57164.2023.00049)

Arapinis, M., Kocsis, Á., Lamprou, N., Medley, L. and Zacharias, T. (2023) Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications. In: 42nd ACM Symposium on Principles of Distributed Computing, Orlando, FL, USA, 19-23 June 2023, ISBN 9798400701214 (doi: 10.1145/3583668.3594591)

2022

Zhang, X., Zhang, B., Kiayias, A., Zacharias, T. and Ren, K. (2022) An efficient E2E crowd verifiable e-voting system. IEEE Transactions on Dependable and Secure Computing, 19(6), pp. 3607-3620. (doi: 10.1109/TDSC.2021.3103336)

Karakostas, D., Kiayias, A. and Zacharias, T. (2022) Blockchain Nash Dynamics and the Pursuit of Compliance. In: 4th ACM Conference on Advances in Financial Technologies (AFT '22), Cambridge, MA, USA, 19-21 September 2022, pp. 281-293. ISBN 9781450398619 (doi: 10.1145/3558535.3559781)

2021

Arapinis, M., Lamprou, N. and Zacharias, T. (2021) Astrolabous: a Universally Composable Time-Lock Encryption Scheme. In: 27th Annual International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2021), 6-10 December 2021, pp. 398-426. ISBN 9783030920753 (doi: 10.1007/978-3-030-92075-3_14)

2020

Baldimtsi, F., Kiayias, A., Zacharias, T. and Zhang, B. (2020) Crowd Verifiable Zero-Knowledge and End-to-End Verifiable Multiparty Computation. In: Advances in Cryptology – ASIACRYPT 2020. 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, 7-11 Dec 2020, pp. 717-748. ISBN 9783030648404 (doi: 10.1007/978-3-030-64840-4_24)

2019

Chondros, N., Zhang, B., Zacharias, T. , Diamantopoulos, P., Maneas, S., Patsonakis, C., Delis, A., Kiayias, A. and Roussopoulos, M. (2019) Distributed, end-to-end verifiable, and privacy-preserving internet voting systems. Computers and Security, 83, pp. 268-299. (doi: 10.1016/j.cose.2019.03.001)

2018

Kiayias, A., Kuldmaa, A., Lipmaa, H., Siim, J. and Zacharias, T. (2018) On the Security Properties of e-Voting Bulletin Boards. In: SCN 2018: Security and Cryptography for Networks, Amalfi, Italy, 5-7 Sept 2018, pp. 505-523. ISBN 9783319981130 (doi: 10.1007/978-3-319-98113-0_27)

2017

Kiayias, A., Zacharias, T. and Zhang, B. (2017) An efficient E2E verifiable E-voting system without setup assumptions. IEEE Security and Privacy, 15(3), pp. 14-23. (doi: 10.1109/msp.2017.71)

Kiayias, A., Zacharias, T. and Zhang, B. (2017) Ceremonies for End-to-End Verifiable Elections. In: PKC 2017: Public-Key Cryptography – PKC 2017, Amsterdam, The Netherlands, 28-31 Mar 2017, pp. 305-334. ISBN 9783662543887 (doi: 10.1007/978-3-662-54388-7_11)

This list was generated on Thu Nov 21 09:13:48 2024 GMT.
Jump to: Articles | Conference Proceedings
Number of items: 11.

Articles

Zhang, X., Zhang, B., Kiayias, A., Zacharias, T. and Ren, K. (2022) An efficient E2E crowd verifiable e-voting system. IEEE Transactions on Dependable and Secure Computing, 19(6), pp. 3607-3620. (doi: 10.1109/TDSC.2021.3103336)

Chondros, N., Zhang, B., Zacharias, T. , Diamantopoulos, P., Maneas, S., Patsonakis, C., Delis, A., Kiayias, A. and Roussopoulos, M. (2019) Distributed, end-to-end verifiable, and privacy-preserving internet voting systems. Computers and Security, 83, pp. 268-299. (doi: 10.1016/j.cose.2019.03.001)

Kiayias, A., Zacharias, T. and Zhang, B. (2017) An efficient E2E verifiable E-voting system without setup assumptions. IEEE Security and Privacy, 15(3), pp. 14-23. (doi: 10.1109/msp.2017.71)

Conference Proceedings

Stouka, A.-P. and Zacharias, T. (2023) On the (De) centralization of FruitChains. In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF), Dubrovnik, Croatia, 10-14 July 2023, ISBN 9798350321920 (doi: 10.1109/csf57540.2023.00020)

Abadi, A., Murdoch, S. J. and Zacharias, T. (2023) Recurring Contingent Service Payment. In: 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), Delft, Netherlands, 3-7 July 2023, pp. 724-756. ISBN 9781665465120 (doi: 10.1109/eurosp57164.2023.00049)

Arapinis, M., Kocsis, Á., Lamprou, N., Medley, L. and Zacharias, T. (2023) Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications. In: 42nd ACM Symposium on Principles of Distributed Computing, Orlando, FL, USA, 19-23 June 2023, ISBN 9798400701214 (doi: 10.1145/3583668.3594591)

Karakostas, D., Kiayias, A. and Zacharias, T. (2022) Blockchain Nash Dynamics and the Pursuit of Compliance. In: 4th ACM Conference on Advances in Financial Technologies (AFT '22), Cambridge, MA, USA, 19-21 September 2022, pp. 281-293. ISBN 9781450398619 (doi: 10.1145/3558535.3559781)

Arapinis, M., Lamprou, N. and Zacharias, T. (2021) Astrolabous: a Universally Composable Time-Lock Encryption Scheme. In: 27th Annual International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2021), 6-10 December 2021, pp. 398-426. ISBN 9783030920753 (doi: 10.1007/978-3-030-92075-3_14)

Baldimtsi, F., Kiayias, A., Zacharias, T. and Zhang, B. (2020) Crowd Verifiable Zero-Knowledge and End-to-End Verifiable Multiparty Computation. In: Advances in Cryptology – ASIACRYPT 2020. 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, 7-11 Dec 2020, pp. 717-748. ISBN 9783030648404 (doi: 10.1007/978-3-030-64840-4_24)

Kiayias, A., Kuldmaa, A., Lipmaa, H., Siim, J. and Zacharias, T. (2018) On the Security Properties of e-Voting Bulletin Boards. In: SCN 2018: Security and Cryptography for Networks, Amalfi, Italy, 5-7 Sept 2018, pp. 505-523. ISBN 9783319981130 (doi: 10.1007/978-3-319-98113-0_27)

Kiayias, A., Zacharias, T. and Zhang, B. (2017) Ceremonies for End-to-End Verifiable Elections. In: PKC 2017: Public-Key Cryptography – PKC 2017, Amsterdam, The Netherlands, 28-31 Mar 2017, pp. 305-334. ISBN 9783662543887 (doi: 10.1007/978-3-662-54388-7_11)

This list was generated on Thu Nov 21 09:13:48 2024 GMT.

Grants

  • Pebble: Building the first decentralized and transparent voting solution on Tezos
    • Description: Implementation and testing of the Pebble decentralised e-voting system.
    • Total funds: $250,000. Funded by the Tezos Foundation (November 2019 - October 2020 & October 2022 - January 2023).
    • Role: Co-I.

Supervision

  • Nikolaos Lamprou: Electronic voting in the classical and quantum settings - modelling, design and analysis (September 2018 - August 2021).

Teaching

Academic year 2023 - 2024

  • Cybersecurity Fundamentals (H) COMPSCI4062: an introductory course in the fundamental concepts of Cybersecurity.

Additional information

Professional Service

  • Programme Committees:
    • 44th International Cryptology Conference (CRYPTO 2024)
    • 27th International Conference on Practice and Theory of Public-Key Cryptography (PKC 2024)
    • 23rd International Conference on Practice and Theory of Public-Key Cryptography (PKC 2020)
    • 20th Privacy Enhancing Technologies Symposium (PETS 2020)
    • 19th Privacy Enhancing Technologies Symposium (PETS 2019)
    • 7th International Conference on e-Democracy (e-Democracy 2017)
  • Member of IET’s e-voting working group.

Professional Bodies

  • Member of the International Association for Cryptologic Research (IACR).

Thomas Zacharias