TY  - RPRT
TI  - Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens
AU  - Lefteris Lazaropoulos
AU  - Zoe Paraskevopoulou
PY  - 2026
UR  - https://arxiv.org/abs/2607.26306
ID  - 2607.26306
ER  -