Fu Song
- KRust: A Formal Executable Semantics of Rust
2018/04/28 by Feng Wang, Fu Song, Wang, Feng +7 · 3 voices · 1 citation
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Security and Verification in Computing #cs.PL
- QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems
2023/05/23 by Guangke Chen, Chen, Guangke, Yedi Zhang +5 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Network Security and Intrusion Detection #Speech Recognition and Synthesis
- Advanced Evasion Attacks and Mitigations on Practical ML-Based Phishing Website Classifiers
2020/04/15 by Yusi Lei, Lei, Yusi, Sen Chen +7 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Spam and Phishing Detection
- Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels
2020/07/16 by Wenjie Wan, Wan, Wenjie, Zhaodi Zhang +7 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Integrated Circuits and Semiconductor Failure Analysis #Physical Unclonable Functions (PUFs) and Hardware Security
- Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
2024/12/17 by Zongxin Liu, Zhe Zhao, Liu, Zongxin +11 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications
- Verification of Bit-Flip Attacks against Quantized Neural Networks
2025/02/22 by Yedi Zhang, Lei Huang, Zhang, Yedi +9 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Physical Unclonable Functions (PUFs) and Hardware Security