Fu SONG
Titel
Citeras av
Citeras av
År
Efficient malware detection using model-checking
F Song, T Touili
International Symposium on Formal Methods, 418-433, 2012
772012
Pushdown model checking for malware detection
F Song, T Touili
International Journal on Software Tools for Technology Transfer 16 (2), 147-173, 2014
712014
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
382017
PoMMaDe: pushdown model-checking for malware detection
F Song, T Touili
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
322013
Model-checking for android malware detection
F Song, T Touili
Asian Symposium on Programming Languages and Systems, 216-235, 2014
312014
Efficient CTL model-checking for pushdown systems
F Song, T Touili
Theoretical Computer Science 549, 127-145, 2014
312014
LTL model-checking for malware detection
F Song, T Touili
International Conference on Tools and Algorithms for the Construction and …, 2013
292013
A distributed clustering algorithm for voronoi cell-based large scale wireless sensor network
J Chen, C Kim, F Song
2010 International Conference on Communications and Mobile Computing 3, 209-213, 2010
252010
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
222018
Model checking dynamic pushdown networks
F Song, T Touili
Formal Aspects of Computing 27 (2), 397-421, 2015
142015
PuMoC: a CTL model-checker for sequential programs
F Song, T Touili
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
122012
Who is real bob? adversarial attacks on speaker recognition systems
G Chen, S Chen, L Fan, X Du, Z Zhao, F Song, Y Liu
arXiv preprint arXiv:1911.01840, 2019
112019
An Improved Online/Offline Identity-Based Signature Scheme for WSNs.
Y Gao, P Zeng, KKR Choo, F Song
IJ Network Security 18 (6), 1143-1151, 2016
112016
Global Model Checking on Pushdown Multi-Agent Systems.
T Chen, F Song, Z Wu
AAAI 16, 2459-2465, 2016
112016
Modeling and verifying Google file system
B Li, M Wang, Y Zhao, G Pu, H Zhu, F Song
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
112015
On temporal logics with data variable quantifications: Decidability and complexity
F Song, Z Wu
Information and Computation 251, 104-139, 2016
82016
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
72019
Extending temporal logics with data variable quantifications
F Song, Z Wu
34th International Conference on Foundation of Software Technology and …, 2014
72014
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
52019
SMT-based bounded schedulability analysis of the clock constraint specification language
M Zhang, F Song, F Mallet, X Chen
International Conference on Fundamental Approaches to Software Engineering …, 2019
52019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20