The Locality of Memory Checking. - Weijie Wang 001; Yujie Lu; Charalampos Papamanthou; Fan Zhang 022 (CCS, 2023)

BalanceProofs: Maintainable Vector Commitments with Fast Aggregation. - Weijie Wang 001; Annie Ulichney; Charalampos Papamanthou (USENIX Security Symposium, 2023)

Dynamic zk-SNARKs. - Weijie Wang 001; Charalampos Papamanthou; Shravan Srinivasan; Dimitrios Papadopoulos 001 (IACR Cryptol. ePrint Arch., 2024)

Dynamic zk-SNARKs (with Applications to Sparse zk-SNARKs and IVC). - Weijie Wang 001; Charalampos Papamanthou; Shravan Srinivasan; Dimitrios Papadopoulos 001 (EUROCRYPT (7), 2026)

Designated-Verifier Dynamic zk-SNARKs with Applications to Dynamic Proofs of Index. - Weijie Wang 001; Charalampos Papamanthou; Shravan Srinivasan; Dimitrios Papadopoulos 001 (IACR Cryptol. ePrint Arch., 2026)