30
Publications
942
Citations
19
H-Index
2010
Active since
Fu Song is an author at ShanghaiTech University specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisData SecurityInformation SecurityVerificationDeep LearningMachine Learning
Publications per year
2010–2025
30
30
Patch based vulnerability matching for binary programs
Yifei Xu, Zhengzi Xu, Bihuan Chen et al. · 2020 · 71 citations
Rows per page
1–5 of 30