Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yan Ma
conf.researchr.org general profile
ASE 2022 profile
ASE 2024 profile
Registered user since Sun 11 Sep 2022
Name:
Yan Ma
Affiliation:
Nanjing University of Finance and Economics / National University of Singapore
Contributions
2024
ASE
Author of DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts within the Journal-first Papers-track
2022
ASE
Author of A three-valued model abstraction framework for PCTL* stochastic model checking within the Journal-first Papers-track
Share
x
Wed 18 Dec 12:47