TY  - RPRT
TI  - Defense-in-Depth Runtime Safety in Move
AU  - Victor Gao
AU  - Wolfgang Grieskamp
AU  - Vineeth Kashyap
AU  - George Mitenkov
AU  - Teng Zhang
AU  - Runtian Zhou
AU  - Andrea Cappa
AU  - Marco Ilardi
PY  - 2026
UR  - https://arxiv.org/abs/2606.18064
ID  - 2606.18064
ER  -