4 papers
TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
Jianzhu Yao, Hongxu Su, Taobo Liao +4
Neural networks increasingly run on hardware outside the user's control (cloud GPUs, inference marketplaces). Yet ML-as-a-Service reveals little about what actually ran or whether…
A Survey On Secure Machine Learning
Taobo Liao, Taoran Li, Prathamesh Nadkarni
In this survey, we will explore the interaction between secure multiparty computation and the area of machine learning. Recent advances in secure multiparty computation (MPC) have…
Zk-SNARK for String Match
Taoran Li, Taobo Liao
We present a secure and efficient string-matching platform leveraging zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge) to address the challenge of detecti…
AutoSpec: Automated Generation of Neural Network Specifications
Shuowei Jin, Francis Y. Yan, Taobo Liao +5
The increasing adoption of neural networks in learning-augmented systems highlights the growing need for model safety and robustness, especially in safety-critical domains. While r…