Thomas Zacharias

CoRR, 2024

2023

Are continuous stop-and-go mixnets provably secure?

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023

Recurring Contingent Service Payment.

[BibT_eX]

[DOI]

Aydin Abadi

Steven J. Murdoch

Aikaterini-Panagiota Stouka

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

On the (De) centralization of FruitChains.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

An Efficient E2E Crowd Verifiable E-Voting System.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2022

Glass-Vault: A Generic Transparent Privacy-preserving Exposure Notification Analytics Platform.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Blockchain Nash Dynamics and the Pursuit of Compliance.

[BibT_eX]

[DOI]

Dimitris Karakostas

Proceedings of the 4th ACM Conference on Advances in Financial Technologies, 2022

2021

Astrolabous: A Universally Composable Time-Lock Encryption Scheme.

[BibT_eX]

[DOI]

Myrto Arapinis

Nikolaos Lamprou

IACR Cryptol. ePrint Arch., 2021

Recurring Contingent Payment for Proofs of Retrievability.

[BibT_eX]

[DOI]

Aydin Abadi

Steven J. Murdoch

IACR Cryptol. ePrint Arch., 2021

Polynomial Representation Is Tricky: Maliciously Secure Private Set Intersection Revisited.

[BibT_eX]

[DOI]

Aydin Abadi

Steven J. Murdoch

IACR Cryptol. ePrint Arch., 2021

2020

Crowd Verifiable Zero-Knowledge and End-to-end Verifiable Multiparty Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

E-cclesia: Universally Composable Self-Tallying Elections.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

2019

Distributed, end-to-end verifiable, and privacy-preserving internet voting systems.

[BibT_eX]

[DOI]

Comput. Secur., 2019

2018

On the Security Properties of e-Voting Bulletin Boards.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

A Universally Composable Framework for the Privacy of Email Ecosystems.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

2017

Auditing for privacy in threshold PKE e-voting.

[BibT_eX]

[DOI]

Inf. Comput. Secur., 2017

An Efficient E2E Verifiable E-voting System without Setup Assumptions.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2017

MCMix: Anonymous Messaging via Secure Multiparty Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

2016

The DEMOS family of e-voting systems: end-to-end verifiable elections in the standard model

[BibT_eX]

[DOI]

PhD thesis, 2016

D-DEMOS: A Distributed, End-to-End Verifiable, Internet Voting System.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

2015

End-to-End Verifiable Elections in the Standard Model∗.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Ceremonies for End-to-End Verifiable Elections.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Indistinguishable Proofs of Work or Knowledge.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

A distributed, end-to-end verifiable, internet voting system.

[BibT_eX]

[DOI]

CoRR, 2015

On the Necessity of Auditing for Election Privacy in e-Voting Systems.

[BibT_eX]

[DOI]

Proceedings of the E-Democracy - Citizen Rights in the World of the New Computing Paradigms, 2015

DEMOS-2: Scalable E2E Verifiable Elections without Random Oracles.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Pressing the button for European elections: verifiable e-voting and public attitudes toward internet voting in Greece.

[BibT_eX]

[DOI]

Alex Delis

Konstantina Gavatha