Fu Song

According to our database, Fu Song authored at least 93 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.

Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming

ACM Trans. Softw. Eng. Methodol., June, 2024

Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples.

Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, Jun Sun

ACM Trans. Softw. Eng. Methodol., March, 2024

Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks.

Pengfei Gao, Fu Song, Taolue Chen

ACM Trans. Softw. Eng. Methodol., March, 2024

EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis.

Pu Sun, Fu Song, Yuqi Chen, Taolue Chen

Proc. ACM Program. Lang., January, 2024

SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits.

Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Towards Efficient Verification of Constant-Time Cryptographic Implementations.

Luwei Cai, Fu Song, Taolue Chen

Proc. ACM Softw. Eng., 2024

A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion.

Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu

CoRR, 2024

Formal Verification of RISC-V Processor Chisel Designs.

Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems.

Guangke Chen, Yedi Zhang, Fu Song

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

FDI: Attack Neural Code Generation Systems through User Feedback Channel.

Zhensu Sun, Xiaoning Du, Xiapu Luo, Fu Song, David Lo, Li Li

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference.

Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Li Li

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Certified Quantization Strategy Synthesis for Neural Networks.

Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong

Proceedings of the Formal Methods - 26th International Symposium, 2024

Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks.

Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu

Proceedings of the Formal Methods - 26th International Symposium, 2024

K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language.

Zichen Wang, Jingyi Wang, Fu Song, Kun Wang, Hongyi Pu, Peng Cheng

Proceedings of the 10th ACM Cyber-Physical System Security Workshop, 2024

2023

Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks.

Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert

Proc. ACM Program. Lang., October, 2023

Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach.

Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen

ACM Trans. Softw. Eng. Methodol., May, 2023

Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition.

Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Feng Wang, Jiashui Wang

IEEE Trans. Dependable Secur. Comput., 2023

VenomAttack: automated and adaptive activity hijacking in Android.

Pu Sun, Sen Chen, Lingling Fan, Pengfei Gao, Fu Song, Min Yang

Frontiers Comput. Sci., 2023

An Empirical Study of Bugs in Open-Source Federated Learning Framework.

Weijie Shao, Yuyang Gao, Fu Song, Sen Chen, Lingling Fan

CoRR, 2023

SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits.

Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu

CoRR, 2023

QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems.

Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song

Proceedings of the 32nd USENIX Security Symposium, 2023

CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models.

Zhensu Sun, Xiaoning Du, Fu Song, Li Li

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems.

Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison.

Limin Wang, Lei Bu, Fu Song

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

QEBVerif: Quantization Error Bound Verification of Neural Networks.

Yedi Zhang, Fu Song, Jun Sun

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Automated Verification of Correctness for Masked Arithmetic Programs.

Mingyang Liu, Fu Song, Taolue Chen

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks.

Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Formal Verification of Masking Countermeasures for Arithmetic Programs.

Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song, Taolue Chen

IEEE Trans. Software Eng., 2022

Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain.

Lei Bu, Zhe Zhao, Yuchao Duan, Fu Song

IEEE Trans. Dependable Secur. Comput., 2022

ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation.

Yongjie Xu, Fu Song, Taolue Chen

J. Syst. Archit., 2022

Preface to Special Issue on System Software Security.

Min Yang, Chao Zhang, Fu Song, Yuan Zhang

Int. J. Softw. Informatics, 2022

Model-based automated testing of JavaScript Web applications via longer test sequences.

Pengfei Gao, Yongjie Xu, Fu Song, Taolue Chen

Frontiers Comput. Sci., 2022

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.

Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun

CoRR, 2022

Learning to Prevent Profitless Neural Code Completion.

Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li

CoRR, 2022

AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems.

Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu

CoRR, 2022

Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation.

Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing

CoRR, 2022

CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning.

Zhensu Sun, Xiaoning Du, Fu Song, Mingze Ni, Li Li

Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022

DeJITLeak: eliminating JIT-induced timing side-channel leaks.

Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.

Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu

Proceedings of the Static Analysis - 29th International Symposium, 2022

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.

Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation.

Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs.

Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen

ACM Trans. Softw. Eng. Methodol., 2021

Advanced evasion attacks and mitigations on practical ML-based phishing website classifiers.

Fu Song, Yusi Lei, Sen Chen, Lingling Fan, Yang Liu

Int. J. Intell. Syst., 2021

SEC4SR: A Security Analysis Platform for Speaker Recognition.

Guangke Chen, Zhe Zhao, Fu Song, Sen Chen, Lingling Fan, Yang Liu

CoRR, 2021

Inferring Loop Invariants for Multi-Path Loops.

Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li, Lintan Sun

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems.

Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas.

Yongjie Xu, Fu Song, Taolue Chen

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Attack as defense: characterizing adversarial examples using robustness.

Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks.

Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Peeking into the Gray Area of Mobile World: An Empirical Study of Unlabeled Android Apps.

Sen Chen, Lingling Fan, Cuiyun Gao, Fu Song, Yang Liu

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks.

Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Verifying ReLU Neural Networks from a Model Checking Perspective.

Wan-Wei Liu, Fu Song, Tang-Hao-Ran Zhang, Ji Wang

J. Comput. Sci. Technol., 2020

Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels.

Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song

CoRR, 2020

Patch based vulnerability matching for binary programs.

Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, Ting Liu

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Verifying and Quantifying Side-channel Resistance of Masked Software Implementations.

Pengfei Gao, Jun Zhang, Fu Song, Chao Wang

ACM Trans. Softw. Eng. Methodol., 2019

Fuzzy Pushdown Termination Games.

Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian

IEEE Trans. Fuzzy Syst., 2019

Things You May Not Know About Adversarial Example: A Black-box Adversarial Image Attack.

Yuchao Duan, Zhe Zhao, Lei Bu, Fu Song

CoRR, 2019

Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences.

Pengfei Gao, Fu Song, Taolue Chen, Yao Zeng, Ting Su

CoRR, 2019

Making Agents' Abilities Explicit.

Yedi Zhang, Fu Song, Taolue Chen

IEEE Access, 2019

Android Malware Family Classification and Characterization Using CFG and DFG.

Zhiwu Xu, Kerong Ren, Fu Song

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks.

Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.

Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen

Proceedings of the Fundamental Approaches to Software Engineering, 2019

Probabilistic Alternating-Time <i>µ</i>-Calculus.

Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Analyzing pushdown systems with stack manipulation.

Fu Song

Inf. Comput., 2018

Towards backbone computing: A Greedy-Whitening based approach.

Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li

AI Commun., 2018

KRust: A Formal Executable Semantics of Rust.

Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks.

Jun Zhang, Pengfei Gao, Fu Song, Chao Wang

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Android Stack Machine.

Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

On the complexity of <i>ω</i>-pushdown automata.

Yusi Lei, Fu Song, Wanwei Liu, Min Zhang

Sci. China Inf. Sci., 2017

Optimizing backbone filtering.

Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Reasoning About Periodicity on Infinite Words.

Wanwei Liu, Fu Song, Ge Zhou

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

SPAIN: security patch analysis for binaries towards understanding the pain and pills.

Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu, Fu Song

Proceedings of the 39th International Conference on Software Engineering, 2017

Model Checking Pushdown Epistemic Game Structures.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Formal Methods and Software Engineering, 2017

Tractability of Separation Logic with Inductive Definitions: Beyond Lists.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Model-checking software library API usage rules.

Fu Song, Tayssir Touili

Softw. Syst. Model., 2016

An Improved Online/Offline Identity-Based Signature Scheme for WSNs.

Ya Gao, Peng Zeng, Kim-Kwang Raymond Choo, Fu Song

Int. J. Netw. Secur., 2016

On temporal logics with data variable quantifications: Decidability and complexity.

Fu Song, Zhilin Wu

Inf. Comput., 2016

LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks.

Fu Song, Tayssir Touili

CoRR, 2016

Formal Reasoning on Infinite Data Values: An Ongoing Quest.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

Verifying Pushdown Multi-Agent Systems against Strategy Logics.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Global Model Checking on Pushdown Multi-Agent Systems.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Model checking dynamic pushdown networks.

Fu Song, Tayssir Touili

Formal Aspects Comput., 2015

Modeling and Verifying Google File System.

Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.

Fu Song, Weikai Miao, Geguang Pu, Min Zhang

Proceedings of the 26th International Conference on Concurrency Theory, 2015

On the Satisfiability of Indexed Linear Temporal Logics.

Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Efficient CTL model-checking for pushdown systems.

Fu Song, Tayssir Touili

Theor. Comput. Sci., 2014

Pushdown model checking for malware detection.

Fu Song, Tayssir Touili

Int. J. Softw. Tools Technol. Transf., 2014

Extending Temporal Logics with Data Variable Quantifications.

Fu Song, Zhilin Wu

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Model-Checking for Android Malware Detection.

Fu Song, Tayssir Touili

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

LTL Model-Checking for Malware Detection.

Fu Song, Tayssir Touili

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

PoMMaDe: pushdown model-checking for malware detection.

Fu Song, Tayssir Touili

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

PuMoC: a CTL model-checker for sequential programs.

Fu Song, Tayssir Touili

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Efficient Malware Detection Using Model-Checking.

Fu Song, Tayssir Touili

Proceedings of the FM 2012: Formal Methods, 2012