Zk-SNARK for String Match. - Taoran Li; Taobo Liao (CoRR, 2025)

A Survey On Secure Machine Learning. - Taobo Liao; Taoran Li; Prathamesh Nadkarni (CoRR, 2025)

Nondeterminism-Aware Optimistic Verification for Floating-Point Neural Networks. - Jianzhu Yao; Hongxu Su; Taobo Liao; Zerui Cheng; Huan Zhang; Xuechao Wang; Pramod Viswanath (CoRR, 2025)