@misc{indiciaef1d6b5ccbfa8,
  title = {Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety},
  author = {Thomas Ball and Nikolaj S. Bjørner and Ashley J. Chen and Shuo Chen and Yang Chen and Zhongxin Guo and Tzu-Han Hsu and Peng Liu and Nanqing Luo},
  year = {2025},
  url = {https://arxiv.org/abs/2408.06478},
  note = {Source identifier: 2408.06478}
}