2 citations · 4 across the 3 of their papers we have counts for
7 papers
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…
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…
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…
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…
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…
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…