activity
20182022
most citedSemantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker

26 citations · 72 across the 7 of their papers we have counts for

collaborators

8 papers

cs.CR2022★ 26 cited

Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker

Jian Gao, Yu Jiang, Zhe Liu +5

Clone detection is widely exploited for software vulnerability search. The approaches based on source code analysis cannot be applied to binary clone detection because the same sou…

cs.NE2021★ 2 cited

HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing

Dongning Ma, Jianmin Guo, Yu Jiang +1

Brain-inspired hyperdimensional computing (HDC) is an emerging computational paradigm that mimics brain cognition and leverages hyperdimensional vectors with fully distributed holo…

cs.SE2021★ 1 cited

IntelliGen: Automatic Driver Synthesis for FuzzTesting

Mingrui Zhang, Jianzhong Liu, Fuchen Ma +2

Fuzzing is a technique widely used in vulnerability detection. The process usually involves writing effective fuzz driver programs, which, when done manually, can be extremely labo…

cs.SE2021★ 1 cited

Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing

Mingzhe Wang, Zhiyong Wu, Xinyi Xu +4

As an infrastructure for data persistence and analysis, Database Management Systems (DBMSs) are the cornerstones of modern enterprise software. To improve their correctness, the in…

cs.CR2019★ 2 cited

V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability

Fuchen Ma, Ying Fu, Meng Ren +5

The out-of-gas error occurs when smart contract programs are provided with inputs that cause excessive gas consumption, and would be easily exploited to make the DoS attack. Multip…

cs.SE2019

EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine

Ying Fu, Meng Ren, Fuchen Ma +3

Ethereum Virtual Machine (EVM) is the run-time environment for smart contracts and its vulnerabilities may lead to serious problems to the Ethereum ecology. With lots of techniques…