TY  - RPRT
TI  - Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
AU  - Zhiyang Chen
AU  - Jan Gorzny
AU  - Martin Derka
PY  - 2024
UR  - https://arxiv.org/abs/2408.14621
ID  - 2408.14621
ER  -