@misc{indiciae6f58b243d159,
  title = {Foundational Verification of Smart Contracts through Verified Compilation},
  author = {Vilhelm Sjöberg and Kinnari Dave and Daniel Britten and Maria A Schett and Xinyuan Sun and Qinshi Wang and Sean Noble Anderson and Steve Reeves and Zhong Shao},
  year = {2024},
  url = {https://arxiv.org/abs/2405.08348},
  note = {Source identifier: 2405.08348}
}