Secure Rewind and Discard on ARM Morello - Ruchlejmer, Sacha (arXiv.org)