TY  - RPRT
TI  - StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details
AU  - Lau Skorstengaard
AU  - Dominique Devriese
AU  - Lars Birkedal
PY  - 2018
UR  - https://arxiv.org/abs/1811.02787
ID  - 1811.02787
ER  -