2 papers
cs.LO2024
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
Zhiyang Chen, Jan Gorzny, Martin Derka
In the realm of smart contract security, transaction malice detection has been able to leverage properties of transaction traces to identify hacks with high accuracy. However, thes…
cs.SE2024
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi +2
Smart contracts, self-executing programs on the blockchain, facilitate reliable value exchanges without centralized oversight. Despite the recent focus on dynamic analysis of their…