TY  - RPRT
TI  - Foundational Verification of Smart Contracts through Verified Compilation
AU  - Vilhelm Sjöberg
AU  - Kinnari Dave
AU  - Daniel Britten
AU  - Maria A Schett
AU  - Xinyuan Sun
AU  - Qinshi Wang
AU  - Sean Noble Anderson
AU  - Steve Reeves
AU  - Zhong Shao
PY  - 2024
UR  - https://arxiv.org/abs/2405.08348
ID  - 2405.08348
ER  -