66 citations · 129 across the 11 of their papers we have counts for
Showing 2018 · cs.CRShow all
3 papers · 2 filters
cs.CR2018★ 13 cited
VerIDeep: Verifying Integrity of Deep Neural Networks through Sensitive-Sample Fingerprinting
Zecheng He, Tianwei Zhang, Ruby B. Lee
Deep learning has become popular, and numerous cloud-based services are provided to help customers develop and deploy deep learning applications. Meanwhile, various attack techniqu…
cs.CR2018★ 66 cited
Privacy-preserving Machine Learning through Data Obfuscation
Tianwei Zhang, Zecheng He, Ruby B. Lee
As machine learning becomes a practice and commodity, numerous cloud-based services and frameworks are provided to help customers develop and deploy machine learning applications.…
cs.CR2018★ 1 cited
Practical and Scalable Security Verification of Secure Architectures
Jakub Szefer, Tianwei Zhang, Ruby B. Lee
We present a new and practical framework for security verification of secure architectures. Specifically, we break the verification task into external verification and internal ver…