The downgrading semantics of memory safety. - René Rydhof Hansen; Andreas Stenbæk Larsen; Aslan Askarov (CoRR, 2025)