Electronic Voting Systems - From Theory to Implementation. - Nikos Chondros; Alex Delis; Dina Gavatha; Aggelos Kiayias; Charalampos Koutalakis; Ilias Nicolacopoulos; Lampros Paschos; Mema Roussopoulos; Giorge Sotirelis; Panos Stathopoulos; Pavlos Vasilopoulos; Thomas Zacharias 001; et al. (e-Democracy, 2013)

Delegatable Pseudorandom Functions and Applications. - Aggelos Kiayias; Stavros Papadopoulos 001; Nikos Triandopoulos; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2013)

Pressing the button for European elections: verifiable e-voting and public attitudes toward internet voting in Greece. - Alex Delis; Konstantina Gavatha; Aggelos Kiayias; Charalampos Koutalakis; Elias Nikolakopoulos; Lampros Paschos; Mema Roussopoulos; Georgios Sotirellis; Panos Stathopoulos; Pavlos Vasilopoulos; Thomas Zacharias 001; Bingsheng Zhang (EVOTE, 2014)

DEMOS-2: Scalable E2E Verifiable Elections without Random Oracles. - Aggelos Kiayias; Thomas Zacharias 001; Bingsheng Zhang (CCS, 2015)

On the Necessity of Auditing for Election Privacy in e-Voting Systems. - Aggelos Kiayias; Thomas Zacharias 001; Bingsheng Zhang (e-Democracy, 2015)

A distributed, end-to-end verifiable, internet voting system. - Nikos Chondros; Bingsheng Zhang; Thomas Zacharias 001; Panos Diamantopoulos; Stathis Maneas; Christos Patsonakis; Alex Delis; Aggelos Kiayias; Mema Roussopoulos (CoRR, 2015)

Indistinguishable Proofs of Work or Knowledge. - Foteini Baldimtsi; Aggelos Kiayias; Thomas Zacharias 001; Bingsheng Zhang (IACR Cryptol. ePrint Arch., 2015)

Ceremonies for End-to-End Verifiable Elections. - Aggelos Kiayias; Thomas Zacharias 001; Bingsheng Zhang (IACR Cryptol. ePrint Arch., 2015)

End-to-End Verifiable Elections in the Standard Model∗. - Aggelos Kiayias; Thomas Zacharias 001; Bingsheng Zhang (IACR Cryptol. ePrint Arch., 2015)

D-DEMOS: A Distributed, End-to-End Verifiable, Internet Voting System. - Nikos Chondros; Bingsheng Zhang; Thomas Zacharias 001; Panos Diamantopoulos; Stathis Maneas; Christos Patsonakis; Alex Delis; Aggelos Kiayias; Mema Roussopoulos (ICDCS, 2016)

The DEMOS family of e-voting systems: end-to-end verifiable elections in the standard model - Thomas Zacharias 001 (2016)

MCMix: Anonymous Messaging via Secure Multiparty Computation. - Nikolaos Alexopoulos; Aggelos Kiayias; Riivo Talviste; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2017)

An Efficient E2E Verifiable E-voting System without Setup Assumptions. - Aggelos Kiayias; Thomas Zacharias 001; Bingsheng Zhang (IEEE Secur. Priv., 2017)

Auditing for privacy in threshold PKE e-voting. - Aggelos Kiayias; Thomas Zacharias 001; Bingsheng Zhang (Inf. Comput. Secur., 2017)

A Universally Composable Framework for the Privacy of Email Ecosystems. - Pyrros Chaidos; Olga Fourtounelli; Aggelos Kiayias; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2018)

On the Security Properties of e-Voting Bulletin Boards. - Aggelos Kiayias; Annabell Kuldmaa; Helger Lipmaa; Janno Siim; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2018)

Distributed, end-to-end verifiable, and privacy-preserving internet voting systems. - Nikos Chondros; Bingsheng Zhang; Thomas Zacharias 001; Panos Diamantopoulos; Stathis Maneas; Christos Patsonakis; Alex Delis; Aggelos Kiayias; Mema Roussopoulos (Comput. Secur., 2019)

E-cclesia: Universally Composable Self-Tallying Elections. - Myrto Arapinis; Nikolaos Lamprou; Lenka Mareková; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2020)

Crowd Verifiable Zero-Knowledge and End-to-end Verifiable Multiparty Computation. - Foteini Baldimtsi; Aggelos Kiayias; Thomas Zacharias 001; Bingsheng Zhang (IACR Cryptol. ePrint Arch., 2020)

Polynomial Representation Is Tricky: Maliciously Secure Private Set Intersection Revisited. - Aydin Abadi; Steven J. Murdoch; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2021)

Recurring Contingent Payment for Proofs of Retrievability. - Aydin Abadi; Steven J. Murdoch; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2021)

Astrolabous: A Universally Composable Time-Lock Encryption Scheme. - Myrto Arapinis; Nikolaos Lamprou; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2021)

Blockchain Nash Dynamics and the Pursuit of Compliance. - Dimitris Karakostas; Aggelos Kiayias; Thomas Zacharias 001 (AFT, 2022)

Glass-Vault: A Generic Transparent Privacy-preserving Exposure Notification Analytics Platform. - Lorenzo Martinico; Aydin Abadi; Thomas Zacharias 001; Thomas Win (IACR Cryptol. ePrint Arch., 2022)

An Efficient E2E Crowd Verifiable E-Voting System. - Xinyu Zhang 016; Bingsheng Zhang; Aggelos Kiayias; Thomas Zacharias 001; Kui Ren 001 (IEEE Trans. Dependable Secur. Comput., 2022)

On the (De) centralization of FruitChains. - Aikaterini-Panagiota Stouka; Thomas Zacharias 001 (CSF, 2023)

Recurring Contingent Service Payment. - Aydin Abadi; Steven J. Murdoch; Thomas Zacharias 001 (EuroS&P, 2023)

Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications. - Myrto Arapinis; Ábel Kocsis; Nikolaos Lamprou; Liam Medley; Thomas Zacharias 001 (PODC, 2023)

Blockchain Bribing Attacks and the Efficacy of Counterincentives. - Dimitris Karakostas; Aggelos Kiayias; Thomas Zacharias 001 (CCS, 2024)

Are continuous stop-and-go mixnets provably secure? - Debajyoti Das 001; Claudia Díaz; Aggelos Kiayias; Thomas Zacharias 001 (Proc. Priv. Enhancing Technol., 2024)

Attacking and Fixing the Android Protected Confirmation Protocol. - Myrto Arapinis; Vincent Danos; Maïwenn Racouchot; David A. R. Robin; Thomas Zacharias 001 (EuroS&P, 2025)

ICT: Insured Cryptocurrency Transactions. - Aydin Abadi; Amirreza Sarencheh; Henry Skeoch; Thomas Zacharias 001 (IACR Cryptol. ePrint Arch., 2025)