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…

cs.SE2018★ 18 cited

QuanFuzz: Fuzz Testing of Quantum Program

Jiyuan Wang, Ming Gao, Yu Jiang +4

Nowadays, quantum program is widely used and quickly developed. However, the absence of testing methodology restricts their quality. Different input format and operator from tradit…

cs.SE2018★ 22 cited

EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers

Yuanliang Chen, Yu Jiang, Fuchen Ma +5

Fuzzing is widely used for software vulnerability detection. There are various kinds of fuzzers with different fuzzing strategies, and most of them perform well on their targets. H…