Publications

(2026). Humanitarian Aid Distribution with Privacy-Preserving Assessment Capabilities. PETS'26.

PETS'26 Preprint Soon™️ Code

(2026). End-to-End Encrypted Collaborative Documents. USENIX Sec'26.

USENIX Sec'26 Preprint Soon™️ Code

(2025). On the Fiat–Shamir Security of Succinct Arguments from Functional Commitments.

ePrint

(2024). Lova: Lattice-Based Folding Scheme from Unstructured Lattices. Asiacrypt'24.

Asiacrypt'24 ePrint Code Blog

(2024). VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption. ACM CCS'24.

CCS'24 arXiv Code

(2024). vFHE: Verifiable Fully Homomorphic Encryption. WAHC'24.

WAHC'24 PDF Code

(2024). Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning. USENIX Security'24.

USENIX Sec'24 arXiv Code