research
∙
07/05/2023
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification
Fuzzing has emerged as a powerful technique for finding security bugs in...
share
research
∙
09/19/2022
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs
Heap-manipulating programs are known to be challenging to reason about. ...
research
∙
05/14/2022
Verifying Neural Networks Against Backdoor Attacks
Neural networks have achieved state-of-the-art performance in solving ma...
research
∙
01/06/2021
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
Smart contracts are distributed, self-enforcing programs executing on to...
research
∙
07/22/2020
SOCRATES: Towards a Unified Platform for Neural Network Verification
Studies show that neural networks, not unlike traditional programs, are ...
research
∙
04/18/2020
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
Smart contracts are Turing-complete programs that execute on the infrast...
research
∙
08/27/2019
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
Analyzing and verifying heap-manipulating programs automatically is chal...
research
∙
07/12/2019
Concolic Testing Heap-Manipulating Programs
Concolic testing is a test generation technique which works effectively ...
research
∙
12/16/2017