 FairZK: A Scalable System to Prove Machine Learning Fairness in Zero-KnowledgeIEEE Symposium on Security and Privacy (S&P), 2025 |
 A Zero-Knowledge PCP TheoremIACR Cryptology ePrint Archive (IACR ePrint), 2024 |
 Perfect Zero-Knowledge PCPs for #PIACR Cryptology ePrint Archive (IACR ePrint), 2024 |
 zkDL: Efficient Zero-Knowledge Proofs of Deep Learning TrainingIEEE Transactions on Information Forensics and Security (IEEE TIFS), 2023 |
 zkBridge: Trustless Cross-chain Bridges Made PracticalConference on Computer and Communications Security (CCS), 2022 |
 VeriML: Enabling Integrity Assurances and Fair Payments for Machine
Learning as a ServiceIEEE Transactions on Parallel and Distributed Systems (TPDS), 2019 |
