Research and Publications
My main interests in cryptography are secure communication and storage protocols, multi-party computation and blockchain protocols, and more generally the theoretical study of cryptosystems together with their applications . Beyond that, I am interested in topics in the intersection of cryptography, game theory, and theoretical computer science.
New Papers & Preprints
Unlinkable Policy-Compliant Signatures for Compliant and Decentralized Anonymous Payments [ ePrint ]
Joint work with Mahdi Sedaghat and Hendrik Waldner.
Manuscript, 2023.
Conference Publications
The following list of papers have been published at cryptography and computer security conferences and in relevant journals. The provided links point to the most up-to-date full versions of the papers.
Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy [ ePrint ]
Joint work with Peter Gazi, Aggelos Kiayias, Alexander Russell, and Vassilis Zikas.
2024 IEEE 37th Computer Security Foundations Symposium (CSF) (to appear).
Updatable Policy-Compliant Signatures [ ePrint ]
Joint work with Monosij Maitra, Christian Matt, and Hendrik Waldner.
Public-Key Cryptography — PKC 2024 (to appear).
A Composable Security Treatment of ECVRF and Batch Verifications [ ePrint (Extended Version) ]
Joint work with Peter Gazi, Inigo Querejeta-Azurmendi, and Alexander Russell.
Computer Security — ESORICS 2022. Lecture Notes in Computer Science, Springer, vol. 13556 (Proceedings Part III), pp. 22–41, Sep 2022. [ DOI ]
A Rational Protocol Treatment of 51% Attacks [ ePrint ]
Joint work with Yun Lu and Vassilis Zikas.
Advances in Cryptology — CRYPTO 2021. Lecture Notes in Computer Science, Springer, vol. 12827 (Proceedings Part III), pp. 3–32, Aug 2021. [ DOI ]
This work was part of the program of the Workshop on the Theory and Practice of Blockchains 2021.
Dynamic Ad Hoc Clock Synchronization [ ePrint (Ouroboros Chronos) ]
Joint work with Peter Gazi, Aggelos Kiayias, Alexander Russell, and Vassilis Zikas.
Advances in Cryptology — EUROCRYPT 2021. Lecture Notes in Computer Science, Springer, vol. 12698 (Proceedings Part III), pp. 399–428, Jun 2021. [ DOI ]
Universal Composition with Global Subroutines: Capturing Global Setup within plain UC [ ePrint ]
Joint work with Ran Canetti, Julia Hesse, Björn Tackmann, and Vassilis Zikas.
Theory of Cryptography — TCC 2020. Lecture Notes in Computer Science, Springer, vol. 12552 (Proceedings Part III), pp. 1–30, Dec 2020. [ DOI ]
Security Limitations of Classical-Client Delegated Quantum Computing [ arXiv ]
Joint work with Alexandru Cojocaru, Léo Colisson, Elham Kashefi, Dominik Leichtle, Atul Mantri, Petros Wallden.
Advances in Cryptology — ASIACRYPT 2020. Lecture Notes in Computer Science, Springer, vol. 12492 (Proceedings Part II), pp. 667–696, Dec 2020. [ DOI ]
Work was presented as poster at QCrypt 2020 and part of the program of QTurn 2020.
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability [ ePrint ]
Joint work with Peter Gazi, Aggelos Kiayias, Alexander Russell, and Vassilis Zikas.
CCS '18 — Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, pp. 913-930, Oct 2018. [ DOI ]
But Why Does it Work? A Rational Protocol Design Treatment of Bitcoin [ ePrint ]
Joint work with Juan Garay, Ueli Maurer, Daniel Tschudi, and Vassilis Zikas.
Advances in Cryptology — EUROCRYPT 2018. Lecture Notes in Computer Science, Springer, vol. 10821 (Proceedings Part II), pp. 34–65, Apr 2018. [ DOI ]
Bitcoin as a Transaction Ledger: A Composable Treatment [ ePrint ]
Joint work with Ueli Maurer, Daniel Tschudi, and Vassilis Zikas.
Advances in Cryptology — CRYPTO 2017. Lecture Notes in Computer Science, Springer, vol. 10401 (Proceedings Part I), pp. 324–356, Aug 2017. [ DOI ]
Journal of Cryptology - J Cryptol, 37, 18 (2024) [ DOI ]
Efficiency Lower Bounds for Commit-and-Prove Constructions
Joint work with Sandro Coretti, Chen-Da Liu Zhang, and Ueli Maurer.
2017 IEEE International Symposium on Information Theory (ISIT). IEEE, pp. 1788–1792, Jun 2017. [ DOI ]
Direct Access:
Robust Authenticated Encryption and the Limits of Symmetric Cryptography [ ePrint ]
Joint work with Christian Matt, Ueli Maurer, Phillip Rogaway, and Björn Tackmann.
15th IMA International Conference on Cryptography and Coding — IMACC 2015. Lecture Notes in Computer Science, Springer, vol. 9496, pp. 112–129, Dec 2015. [ DOI ]
Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer [ ePrint ]
Joint work with Christian Matt, Ueli Maurer, Phillip Rogaway, and Björn Tackmann.
The 9th International Conference on Provable Security — ProvSec 2015. Lecture Notes in Computer Science, Springer, vol. 9451, pp. 85–104, Nov 2015. [ DOI ]
Manuscripts and Technical Reports
On UC-secure Range Extension and Batch Verification for ECVRF [ Link ]
Joint work with Peter Gazi, Inigo Querejeta-Azurmendi, and Alexander Russell.
(A technical report that contains a careful UC treatment of practical VRF constructions. An extended abstract of this work appears at ESORICS 2022.)
A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT [ ePrint ]
Joint work with Fabio Banfi and Daniel Jost. (Feb 2018)
(A technical note that contains a proof of a statement typically not covered in textbooks.)
PhD Thesis
Ideailzations of Practical Cryptographic Building Blocks
ETH Zurich, 2018 [ DOI ]
Direct Access: