TY  - RPRT
TI  - A Language for Smart Contracts with Secure Control Flow (Technical Report)
AU  - Siqiu Yao
AU  - Haobin Ni
AU  - Stephanie Ma
AU  - Noah Schiff
AU  - Andrew C. Myers
AU  - Ethan Cecchetti
PY  - 2025
UR  - https://arxiv.org/abs/2407.01204
ID  - 2407.01204
ER  -