activity
20162026
most citedsFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts

43 citations · 61 across the 22 of their papers we have counts for

collaborators
Showing 2022 · cs.PLShow all

1 paper · 2 filters

cs.PL2022★ 1 cited

S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs

Quang Loc Le, Jun Sun, Long H. Pham +1

Heap-manipulating programs are known to be challenging to reason about. We present a novel verifier for heap-manipulating programs called S2TD, which encodes programs systematicall…