Open Positions (Fall 2026): I am looking to hire PhD students! Focus areas: All areas of Cryptography with emphasis on: Zero-Knowledge Proofs, Oblivious Primitives on TEEs, Cryptography+AI. Interested candidates please email me your CV and research interests.

About Me

I am an Associate Professor at the Computer Science and Engineering Department of the Hong Kong University of Science and Technology (HKUST).

Previously, I received my PhD in Computer Science from Boston University and was a Post-Doctoral Researcher at the Institute for Advanced Computer Science of the University of Maryland. I received my Diploma in Applied Mathematics from the National Technical University of Athens.

Selected News

  • 2026
    CCS 2026: Another paper accepted! DeepProve provides the first end-to-end verifiable LLM inference scheme, scaling to much higher token/second rates than prior works. Joint work with collaborators from Lagrange Labs.
  • 2026
    CRYPTO 2026: Our paper on Morphic Accumulators with applications in range proofs, polynomial commitments and ring signatures was accepted! Joint work with my former PhD student Jiajun Xin and Qiang Tang from U. Sydney.
  • 2026
    CCS 2026: Two papers accepted! Updatable Lookup Arguments and applications to Verifiable Databases, and a Designated-verifier dynamic version of Groth16!
  • 2026
    ZKProof 8: We had three works accepted at the 8th ZK Proofs Workshop in Rome! This includes results in Code-based collaborative SNARKs, Modular PCs for SNARKs over the integers, and Dynamic SNARKs.
  • 2026
    IEEE S&P 2026: Our work on Code-based scalable collaborative SNARKs was accepted! Work led by my PhD student Christodoulos Pappas and Babis Papamanthou from Yale. Many thanks to Lagrance Labs for supporting this.
  • 2026
    Eurocrypt 2026: Our paper on Dynamic zero-knowledge SNARKs was accepted! Joint work with Weije Wang and Babis Papamanthou from Yale and Shravan Srinivasan from Lagrange Labs.
  • 2026
    PETS 2026: Our paper Gryphes on Hybrid Proofs for Modular SNARKs was accepted. Work w/ my students Jiajun Xin, Xiangan Tian, Christodoulos Pappas and support from OKX.

Research Interests

My research focus is the development of novel cryptographic protocols for a variety of application scenarios aiming for provably secure solutions and optimized implemented systems.

Zero-Knowledge Proofs Polynomial Commitments Oblivious Primitives Trusted Execution Enclaves Searchable Encryption Verifiable Computation Cryptographic Accumulators Cloud Data Privacy

Teaching

  • COMP 2011: Programming with C++
  • COMP 2012: Object-oriented Programming and Data Structures
  • CSIT 5710: Cryptography
  • MFIT 5002: Blockchain

Contact

Address:
CSE Department, HKUST
Clearwater Bay, Hong Kong
Email:
dipapado [at] cse [dot] ust [dot] hk