@misc{indiciae880c05dfd38f,
  title = {Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security},
  author = {Zhiyang Chen and Jan Gorzny and Martin Derka},
  year = {2024},
  url = {https://arxiv.org/abs/2408.14621},
  note = {Source identifier: 2408.14621}
}