activity
20182026
most citedStkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details

2 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.PL2018★ 2 cited

StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details

Lau Skorstengaard, Dominique Devriese, Lars Birkedal

We propose and study StkTokens: a new calling convention that provably enforces well-bracketed control flow and local state encapsulation on a capability machine. The calling conve…