Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)

Skorstengaard, LauLauSkorstengaardDevriese, DominiqueDominiqueDevrieseBirkedal, LarsLarsBirkedal2021-10-262021-10-262018https://imec-publications.be/handle/20.500.12860/31807Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)Proceedings paperhttps://doi.org/10.1007/978-3-319-89884-1_17