| Who is real bob? adversarial attacks on speaker recognition systems G Chen, S Chenb, L Fan, X Du, Z Zhao, F Song, Y Liu 2021 IEEE Symposium on Security and Privacy (SP), 694-711, 2021 | 233 | 2021 |
| Spain: security patch analysis for binaries towards understanding the pain and pills Z Xu, B Chen, M Chandramohan, Y Liu, F Song 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 168 | 2017 |
| Pushdown model checking for malware detection F Song, T Touili International Journal on Software Tools for Technology Transfer 16 (2), 147-173, 2014 | 94 | 2014 |
| Efficient malware detection using model-checking F Song, T Touili International Symposium on Formal Methods, 418-433, 2012 | 90 | 2012 |
| Patch based vulnerability matching for binary programs Y Xu, Z Xu, B Chen, F Song, Y Liu, T Liu Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 71 | 2020 |
| Coprotector: Protect open-source code against unauthorized training usage with data poisoning Z Sun, X Du, F Song, M Ni, L Li Proceedings of the ACM Web Conference 2022, 652-660, 2022 | 68 | 2022 |
| Advanced evasion attacks and mitigations on practical ML‐based phishing website classifiers F Song, Y Lei, S Chen, L Fan, Y Liu International Journal of Intelligent Systems 36 (9), 5210-5240, 2021 | 55 | 2021 |
| Android malware family classification and characterization using CFG and DFG XU Zhiwu, K Ren, F Song 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | 49 | 2019 |
| SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks J Zhang, P Gao, F Song, C Wang International Conference on Computer Aided Verification, 157-177, 2018 | 45 | 2018 |
| Model-checking for android malware detection F Song, T Touili Asian Symposium on Programming Languages and Systems, 216-235, 2014 | 42 | 2014 |
| Krust: A formal executable semantics of rust F Wang, F Song, M Zhang, X Zhu, J Zhang 2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018 | 41 | 2018 |
| PoMMaDe: pushdown model-checking for malware detection F Song, T Touili Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 41 | 2013 |
| Towards understanding and mitigating audio adversarial examples for speaker recognition G Chen, Z Zhao, F Song, S Chen, L Fan, F Wang, J Wang IEEE Transactions on Dependable and Secure Computing 20 (5), 3970-3987, 2022 | 39 | 2022 |
| Efficient CTL model-checking for pushdown systems F Song, T Touili Theoretical Computer Science 549, 127-145, 2014 | 38 | 2014 |
| LTL model-checking for malware detection F Song, T Touili Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 38 | 2013 |
| Taking care of the discretization problem: A comprehensive study of the discretization problem and a black-box adversarial attack in discrete integer domain L Bu, Z Zhao, Y Duan, F Song IEEE Transactions on Dependable and Secure Computing, 2021 | 33* | 2021 |
| Attack as defense: Characterizing adversarial examples using robustness Z Zhao, G Chen, J Wang, Y Yang, F Song, J Sun Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 32 | 2021 |
| Verifying and quantifying side-channel resistance of masked software implementations P Gao, J Zhang, F Song, C Wang ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (3), 1-32, 2019 | 31 | 2019 |
| BDD4BNN: a BDD-based quantitative analysis framework for binarized neural networks Y Zhang, Z Zhao, G Chen, F Song, T Chen International Conference on Computer Aided Verification, 175-200, 2021 | 29 | 2021 |
| Verifying ReLU neural networks from a model checking perspective WW Liu, F Song, THR Zhang, J Wang Journal of Computer Science and Technology 35, 1365-1381, 2020 | 29 | 2020 |
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
