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

Publication:

2018

Proceedings Paper

Author(s)

Skorstengaard, Lau

;

Devriese, Dominique

;

Birkedal, Lars

1876 since deposited on 2021-10-26

1last month

Acq. date: 2026-10-13