research
∙
11/10/2022
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker
Clone detection is widely exploited for software vulnerability search. T...
share
research
∙
11/11/2019
RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems
While huge efforts have been investigated in the adversarial testing of ...
research
∙
10/06/2019
GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability
The out-of-gas error occurs when smart contract programs are provided wi...
research
∙
03/20/2019
EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine
Ethereum Virtual Machine (EVM) is the run-time environment for smart con...
research
∙
10/16/2018
QuanFuzz: Fuzz Testing of Quantum Program
Nowadays, quantum program is widely used and quickly developed. However,...
research
∙
08/28/2018