Aptos adds independent runtime checks to Move bytecode execution as defense-in-depth against potential static verifier bugs.
CoRRabs/2205.05181(2022), https://arxiv.org/abs/2205.05181
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Defense-in-Depth Runtime Safety in Move
Aptos adds independent runtime checks to Move bytecode execution as defense-in-depth against potential static verifier bugs.