Publications
Author order follows the norms of the venue: in security venues, it is usually determined by contribution (* denotes equal contribution), whereas in cryptography venues, it is listed alphabetically.
-
2026
ZEE200: Zero Knowledge for Everything and Everyone @ 200 KHz
CCS 2026
-
2026
Azkaban: Zero-Knowledge Abstract Analysis for Neural Networks
CCS 2026
-
2026
The Illusion of Rust Safety: Detecting Modular Unsafe Functions with LLMs
CCS 2026
-
2026
Suffix-Invariant Programmable PRFs and Applications to Stacked Garbling
CRYPTO 2026
-
2026
SumcheckPIM: An Efficient HBM-Based PIM Architecture for Linear Complexity Zero Knowledge Proofs
ICS 2026
-
2026
Scalable Off-Chain Auctions
NDSS 2026
-
2025
Justvengers: Batched VOLE ZK Disjunctions in O(R+B+C) Communication
TCC 2025
-
2025
Gold OPRF: Post-Quantum Oblivious Power-Residue PRF
S&P 2025
-
2025
SOUNDBOOST: Effective RCA and Attack Detection for UAV via Acoustic Side-Channel
DSN 2025
-
2024
LogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK
ASIACRYPT 2024
-
2024
Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction
CCS 2024
-
2024
Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM
USENIX Security 2024
-
2024
Toward Malicious Constant-Rate 2PC via Arithmetic Garbling
EUROCRYPT 2024
-
2024
Programmable Payment Channels
ACNS 2024
-
2023
Just How Fair is an Unreactive World?
ASIACRYPT 2023
-
2023
Batchman and Robin: Batched and Non-batched Branching for Interactive ZK
CCS 2023
CCS Distinguished Paper Award -
2023
Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs)
CCS 2023
-
2022
EZEE: Epoch Parallel Zero Knowledge for ANSI C
EuroS&P 2022
-
2021
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs
S&P 2021
-
2017
LUTOSAP: Lookup Table Based Online Sample Preparation in Microfluidic Biochips
GLSVLSI 2017