Shang‐Wei Lin
Nanyang Technological University(SG)Liuzhou Maternal and Child Health Hospital(CN)National Administration of Surveying, Mapping and Geoinformation of China(CN)Northeastern University(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Advanced Malware Detection Techniques, Security and Verification in Computing, Blockchain Technology Applications and Security
Most-Cited Works
- → Steelix: program-state based binary fuzzing(2017)275 cited
- → A Survey of Smart Contract Formal Specification and Verification(2021)216 cited
- → A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices(2020)134 cited
- → Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity(2020)88 cited
- → VULTRON: Catching Vulnerable Smart Contracts Once and for All(2019)72 cited
- → Oracle-Supported Dynamic Exploit Generation for Smart Contracts(2020)66 cited
- →