TY  - RPRT
TI  - The downgrading semantics of memory safety (Extended version)
AU  - René Rydhof Hansen
AU  - Andreas Stenbæk Larsen
AU  - Aslan Askarov
PY  - 2026
DO  - 10.1145/3808260
UR  - https://arxiv.org/abs/2507.11282
ID  - 2507.11282
ER  -