Publications by Topic (Google Scholar)

Proof Systems

  1. Hekaton: Horizontally-Scalable zkSNARKs via Proof Aggregation (PDF) (Code)
    Michael Rosenberg, Tushar Mopuri, Hossein Hafezi, Ian Miers, Pratyush Mishra
    Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security
  2. KZH-Fold: Accountable Voting From Sublinear Accumulation (PDF) (Code)
    Benedikt Bunz, Hossein Hafezi, George Kadianakis, Arantxa Zapico
    Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
    In Collaboration with Ethereum Foundation
  3. Single-Server Private Outsourcing of zk-SNARKs
    Kasra Abbaszadeh, Hossein Hafezi, Johnathan Katz, Sarah Meiklejohn
    Submitted to 35th USENIX Security Symposium
    In Collaboration with Google Research (USA)
  4. SoK: Lookup Table Arguments
    Hossein Hafezi, Gaspard Anthoine, Matteo Campanelli, Dario Fiore,
    Submitted to Financial Cryptography and Data Security 2026

Applications

  1. Transparent Dictionaries from Polynomial Commitments (PDF) (Code)
    Alireza Shirzad, Hossein Hafezi, Benedikt Bunz, Joseph Bonneau
    Submitted to 35th USENIX Security Symposium

Blockchain

  1. Fair Signature Exchange (PDF) (Code)
    Hossein Hafezi, Aditi Partap, Sourav Das, Joseph Bonneau,
    Submitted to Financial Cryptography and Data Security 2026

Talks

KZH-Fold: Accountable Voting from Sublinear Accumulation (Slides)

IronDict: Transparent Dictionaries from Polynomial Commitments (Slides)

Service

External reviewer in Eurocrypt2025 and CCS2025
Volunteer staff in Eurocrypt2025 (Madrid)