Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security.

Zhiyang Chen, Jan Gorzny, Martin Derka

Browse the full SANER paper archive.