Fu Song

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 94

Top Venues

CoRR

ACM Trans. Softw. Eng. Methodol.

TASE

CONCUR

Publications

Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Li Li
When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference. CoRR (2024)
Zichen Wang, Jingyi Wang, Fu Song, Kun Wang, Hongyi Pu, Peng Cheng
K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language. CPSS@AsiaCCS (2024)
Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu
A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion. CoRR (2024)
Pu Sun, Fu Song, Yuqi Chen, Taolue Chen
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis. Proc. ACM Program. Lang. 8 (POPL) (2024)
Luwei Cai, Fu Song, Taolue Chen
Towards Efficient Verification of Constant-Time Cryptographic Implementations. CoRR (2024)
Pengfei Gao, Fu Song, Taolue Chen
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, Jun Sun
Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Li Li
When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference. ICSE (2024)
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Luwei Cai, Fu Song, Taolue Chen
Towards Efficient Verification of Constant-Time Cryptographic Implementations. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Mingyang Liu, Fu Song, Taolue Chen
Automated Verification of Correctness for Masked Arithmetic Programs. CAV (3) (2023)
Zhensu Sun, Xiaoning Du, Fu Song, Li Li
CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models. ESEC/SIGSOFT FSE (2023)
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. CoRR (2023)
Yedi Zhang, Fu Song, Jun Sun
QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) (2023)
Limin Wang, Lei Bu, Fu Song
SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison. DAC (2023)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Zhensu Sun, Xiaoning Du, Fu Song, Li Li
CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models. CoRR (2023)
Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Feng Wang, Jiashui Wang
Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition. IEEE Trans. Dependable Secur. Comput. 20 (5) (2023)
Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. CoRR (2023)
Guangke Chen, Yedi Zhang, Fu Song
SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems. CoRR (2023)
Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. CoRR (2023)
Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. ATVA (1) (2023)
Mingyang Liu, Fu Song, Taolue Chen
Automated Verification of Correctness for Masked Arithmetic Programs. CoRR (2023)
Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li
Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems. ICSE Companion (2023)
Weijie Shao, Yuyang Gao, Fu Song, Sen Chen, Lingling Fan
An Empirical Study of Bugs in Open-Source Federated Learning Framework. CoRR (2023)
Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. USENIX Security Symposium (2023)
Pu Sun, Sen Chen, Lingling Fan, Pengfei Gao, Fu Song, Min Yang
VenomAttack: automated and adaptive activity hijacking in Android. Frontiers Comput. Sci. 17 (1) (2023)
Pengfei Gao, Yongjie Xu, Fu Song, Taolue Chen
Model-based automated testing of JavaScript Web applications via longer test sequences. Frontiers Comput. Sci. 16 (3) (2022)
Min Yang, Chao Zhang, Fu Song, Yuan Zhang
Preface to Special Issue on System Software Security. Int. J. Softw. Informatics 12 (3) (2022)
Lei Bu, Zhe Zhao, Yuchao Duan, Fu Song
Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain. IEEE Trans. Dependable Secur. Comput. 19 (5) (2022)
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. CoRR (2022)
Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu
AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems. CoRR (2022)
Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. CAV (1) (2022)
Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Feng Wang, Jiashui Wang
Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition. CoRR (2022)
Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR (2022)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE (2022)
Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing
Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation. CoRR (2022)
Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing
DeJITLeak: eliminating JIT-induced timing side-channel leaks. ESEC/SIGSOFT FSE (2022)
Yongjie Xu, Fu Song, Taolue Chen
ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation. J. Syst. Archit. 129 (2022)
Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song, Taolue Chen
Formal Verification of Masking Countermeasures for Arithmetic Programs. IEEE Trans. Software Eng. 48 (3) (2022)
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. SAS (2022)
Zhensu Sun, Xiaoning Du, Fu Song, Mingze Ni, Li Li
CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning. WWW (2022)
Yedi Zhang, Fu Song, Jun Sun
QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR (2022)
Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li
Learning to Prevent Profitless Neural Code Completion. CoRR (2022)
Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li, Lintan Sun
Inferring Loop Invariants for Multi-Path Loops. TASE (2021)
Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu
SEC4SR: A Security Analysis Platform for Speaker Recognition. CoRR (2021)
Zhensu Sun, Xiaoning Du, Fu Song, Mingze Ni, Li Li
CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning. CoRR (2021)
Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. ISSRE (2021)
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. ACM Trans. Softw. Eng. Methodol. 30 (3) (2021)
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
Attack as defense: characterizing adversarial examples using robustness. ISSTA (2021)
Sen Chen, Lingling Fan, Cuiyun Gao, Fu Song, Yang Liu
Peeking into the Gray Area of Mobile World: An Empirical Study of Unlabeled Android Apps. ISSRE (2021)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. CAV (1) (2021)
Fu Song, Yusi Lei, Sen Chen, Lingling Fan, Yang Liu
Advanced evasion attacks and mitigations on practical ML-based phishing website classifiers. Int. J. Intell. Syst. 36 (9) (2021)
Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu
Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. IEEE Symposium on Security and Privacy (2021)
Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
Attack as Defense: Characterizing Adversarial Examples using Robustness. CoRR (2021)
Yongjie Xu, Fu Song, Taolue Chen
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. SETTA (2021)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks. CoRR (2021)
Wan-Wei Liu, Fu Song, Tang-Hao-Ran Zhang, Ji Wang
Verifying ReLU Neural Networks from a Model Checking Perspective. J. Comput. Sci. Technol. 35 (6) (2020)
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. CoRR (2020)
Yusi Lei, Sen Chen, Lingling Fan, Fu Song, Yang Liu
Advanced Evasion Attacks and Mitigations on Practical ML-Based Phishing Website Classifiers. CoRR (2020)
Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song
Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels. CoRR (2020)
Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, Ting Liu
Patch based vulnerability matching for binary programs. ISSTA (2020)
Pengfei Gao, Fu Song, Taolue Chen, Yao Zeng, Ting Su
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences. CoRR (2019)
Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu
Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. CoRR (2019)
Yuchao Duan, Zhe Zhao, Lei Bu, Fu Song
Things You May Not Know About Adversarial Example: A Black-box Adversarial Image Attack. CoRR (2019)
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. TACAS (1) (2019)
Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. FASE (2019)
Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu
-Calculus. AAAI (2019)
Pengfei Gao, Jun Zhang, Fu Song, Chao Wang
Verifying and Quantifying Side-channel Resistance of Masked Software Implementations. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian
Fuzzy Pushdown Termination Games. IEEE Trans. Fuzzy Syst. 27 (4) (2019)
Yedi Zhang, Fu Song, Taolue Chen
Making Agents' Abilities Explicit. IEEE Access 7 (2019)
Zhiwu Xu, Kerong Ren, Fu Song
Android Malware Family Classification and Characterization Using CFG and DFG. TASE (2019)
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks. CoRR (2019)
Jun Zhang, Pengfei Gao, Fu Song, Chao Wang
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks. CAV (2) (2018)
Yedi Zhang, Fu Song, Taolue Chen
Making Agents' Abilities Explicit. CoRR (2018)
Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li
Towards backbone computing: A Greedy-Whitening based approach. AI Commun. 31 (3) (2018)
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
KRust: A Formal Executable Semantics of Rust. CoRR (2018)
Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang
KRust: A Formal Executable Semantics of Rust. TASE (2018)
Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan
Android Stack Machine. CAV (2) (2018)
Fu Song
Analyzing pushdown systems with stack manipulation. Inf. Comput. 259 (1) (2018)
Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
Optimizing backbone filtering. TASE (2017)
Taolue Chen, Fu Song, Zhilin Wu
Tractability of Separation Logic with Inductive Definitions: Beyond Lists. CONCUR (2017)
Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu, Fu Song
SPAIN: security patch analysis for binaries towards understanding the pain and pills. ICSE (2017)
Wanwei Liu, Fu Song, Ge Zhou
Reasoning About Periodicity on Infinite Words. SETTA (2017)
Yusi Lei, Fu Song, Wanwei Liu, Min Zhang
-pushdown automata. Sci. China Inf. Sci. 60 (11) (2017)
Taolue Chen, Fu Song, Zhilin Wu
Model Checking Pushdown Epistemic Game Structures. ICFEM (2017)
Fu Song, Tayssir Touili
Model-checking software library API usage rules. Softw. Syst. Model. 15 (4) (2016)
Ya Gao, Peng Zeng, Kim-Kwang Raymond Choo, Fu Song
An Improved Online/Offline Identity-Based Signature Scheme for WSNs. Int. J. Netw. Secur. 18 (6) (2016)
Taolue Chen, Fu Song, Zhilin Wu
Global Model Checking on Pushdown Multi-Agent Systems. AAAI (2016)
Fu Song, Zhilin Wu
On temporal logics with data variable quantifications: Decidability and complexity. Inf. Comput. 251 (2016)
Taolue Chen, Fu Song, Zhilin Wu
Formal Reasoning on Infinite Data Values: An Ongoing Quest. SETSS (2016)
Fu Song, Tayssir Touili
LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks. CoRR (2016)
Taolue Chen, Fu Song, Zhilin Wu
Verifying Pushdown Multi-Agent Systems against Strategy Logics. IJCAI (2016)
Fu Song, Weikai Miao, Geguang Pu, Min Zhang
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. CONCUR (2015)
Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song
Modeling and Verifying Google File System. HASE (2015)
Fu Song, Tayssir Touili
Model checking dynamic pushdown networks. Formal Aspects Comput. 27 (2) (2015)
Taolue Chen, Fu Song, Zhilin Wu
On the Satisfiability of Indexed Linear Temporal Logics. CONCUR (2015)
Fu Song, Tayssir Touili
Pushdown model checking for malware detection. Int. J. Softw. Tools Technol. Transf. 16 (2) (2014)
Fu Song, Tayssir Touili
Model-Checking for Android Malware Detection. APLAS (2014)

Fu Song.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fu Song