Fu Song
Associate Professor
Graduated School:Ph.D., Université Paris Diderot, France
Tel:(021) 20685397
Office:Room 1A-504C, SIST Building
Research Interests
Biography
Selected Publications

RESEARCH INTERESTS

  • Model-Checking

  • System analysis and verification

  • Computer security


BIOGRAPHY

Fu Song is currently the SSC Director.

Fu Song is an tenured associate professor at Shanghaitech University, China. He received M.S. from East China Normal University in 2009 and Ph.D from Univeristy Paris Diderot (Paris 7) in 2013. After this Ph,D studies, he has been working in East China Normal Univeristy as Assistant Professor from 2013 to 2015 and Research Assoicate Professor since 2016, he also has been an invited research at Nanyang Technological University in 2014. 

His research interests broadly span model-checking, verification and automated analysis of systems and computer security. His paper on malware detection via pushdown model-checking won EASST best paper award at the18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012). 


SELECTED PUBLICATIONS

  1. Lei Bu, Zhe Zhao, Yuchao Duan, and 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 Transactions on Dependable and Secure Computing, 2021. (SCI, EI, CCF-A, JCR-Q1) 

  2. Fu Song*, Yusi Lei, Sen Chen, Lingling Fan, and Yang Liu. Advanced Evasion Attacks and Mitigations on Practical ML-Based Phishing Website Classifiers.  International Journal of Intelligent Systems, 2021. (SCI, EI, JCR-Q1)    

  3. Pengfei Gao, Hongyi Xie, Fu Song* and Taolue Chen. A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. ACM Transactions on Software Engineering and Methodology, volume 30(3), pages 1-42, 2021. (SCI, EI, CCF-A)

  4. Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song* and Taolue Chen. Formal Verification of Masking Countermeasures for Arithmetic Programs. IEEE Transactions on Software Engineering, 2020. (SCI, EI, CCF-A, JCR-Q1) 

  5. Pengfei Gao, Jun Zhang, Fu Song* and Chao Wang. Verifying and Quantifying Side-Channel Resistance of Masked Software Implementations. ACM Transactions on Software Engineering and Methodology, volume 28(3), pages 16:1-16:32, 2019. (SCI, EI, CCF-A) 

  6. Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song* and Taolue Chen. BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks. Proceedings of the 33rd International Conference on Computer Aided Verification (CAV), 2021. (EI, CCF-A) 

  7. Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song* and Jun Sun. Attack as Defense: Characterizing Adversarial Examples using Robustness. Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021. (EI, CCF-A) 

  8. Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song* and Yang Liu. Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. Proceedings of the 42nd IEEE Symposium on Security and Privacy (IEEE S&P), 2021. (EI, CCF-A) 

  9.  Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu and Ting Liu. Patch Based Vulnerability Matching for Binary Programs. Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2020. (EI, CCF-A)       

  10. Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song* and Taolue Chen. Quantitative Verification of Masked Arithmetic Programs against Side Channel Attacks. Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (ETAPS/TACAS), Prague, Czech Republic. April 6-11, 2019. (EI, CCF-B)     

  11. Min Zhang, Fu Song*, Frederic Mallet and Xiaohong Chen. SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. Proceedings of the 22th International Conference on Theoretical Aspects of Software Engineering (ETAPS/FASE), Prague, Czech Republic. April 6-11, 2019. (EI, CCF-B)      

  12. Haiyu Pan, Fu Song, Yongzhi Cao, and Junyan Qian, “Fuzzy Pushdown Termination Games”, IEEE Transactions on Fuzzy Systems, accepted, 2018. (SCI, EI, IF=8.415) 

  13. Fu Song, “Analyzing Pushdown Systems with Stack Manipulation”, Information and Computation, vol. 259, no. 1, pp. 41-71, 2018. (SCI, EI, CCF-A)

  14. Fu Song and Zhilin Wu, “On Temporal Logics with Data Variable Quantifications: Decidability and Complexity”, Information and Computation, vol. 251, pp. 104-139, 2016. (SCI, EI, CCF-A)

  15. Fu Song and Tayssir Touili, “Model-checking software library API usage rules” Journal on Software and Systems Modeling (SoSym), vol. 15, no. 4, pp. 961-985, 2016 (SCI, EI, CCF-B)

  16. Probabilistic Alternating-Time Mu-Calculus. Fu Song, Yedi Zhang, Yu Tang, Taolue Chen and Zhiwu Xu, accepted to AAAI, 2019. (CCF-A)

  17. Jun Zhang, Pengfei Gao, Fu Song and Chao Wang, “SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks”, in Proceedings of the 30th International Conference on Computer Aided Verification (CAV 2018), Oxford, UK, July 14-17, 2018. (EI, CCF-A) 

  18. Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu and Jun Yan, “Android Stack Systems”, in Proceedings of the 30th International Conference on Computer Aided Verification (CAV 2018), Oxford, UK, July 14-17, 2018. (EI, CCF-A)

  19. Taolue Chen, Fu Song and Zhilin Wu, “Tractability of separation logic with inductive definitions: Beyond lists”, in Proceedings of the 28th International Conference on Concurrency Theory (CONCUR 2017), Berlin, Germany, September 5-8, 2017. (EI, CCF-B)

  20. Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu and Fu Song, “SPAIN: Security Patch Analysis for Binaries - Towards Understanding the Pain and Pills”, in Proceedings of the 39th ACM/IEEE International Conference on Software Engineering (ICSE 2017), Buenos Aires, Argentina, May 20-28, 2017. (EI, CCF-A)

  21. Taolue Chen, Fu Song and Zhilin Wu, “Verifying Pushdown Multi-Agent Systems against Strategy Logics”, in Proceedings of the 25th International Joint Conference on Artifficial Intelligence (IJCAI 2016), New York, USA. 9-15 July, 2016. (EI, CCF-A, Oral presentation) 

  22. Taolue Chen, Fu Song and Zhilin Wu, “Global Model Checking on Pushdown Multi-Agent Systems”, in Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016), Arizona, USA, February 12-17, 2016. (EI, CCF-A, Oral presentation) 

  23. Fu Song, Weikai Miao, Geguang Pu and Min Zhang, “On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference”, in Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015). Madrid, Spain. September 1-4, 2015. (EI, CCF-B) 

  24. Taolue Chen, Fu Song and Zhilin Wu, “On the Satisfiability of Indexed Linear Temporal Logics”, in Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015). Madrid, Spain, September 1-4, 2015. (EI, CCF-B)

  25. Fu Song and Tayssir Touili, “LTL Model-Checking for Malware Detection”, in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013. (EI, CCF-B)

  26. Fu Song and Tayssir Touili, “Pushdown Model-Checking for Malware Detection”, in Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Tallinn, Estonia, March 24-April 1, 2012. Won the EASST best paper award at ETAPS 2012. (EI,CCF-B)