Welcome > CHERI > Cheri Domain > Cheri Compartmentalization Papers > Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management
Reference 1
- Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. By Lau Skorstengaard, Dominique Devriese, and Lars Birkedal. ESOP 2018. ↩
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?