StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

Lau Skorstengaard, Dominique Devriese, Lars Birkedal

Research output: Contribution to journalArticlepeer-review

23 Citations (Scopus)
193 Downloads (Pure)

Fingerprint

Dive into the research topics of 'StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities'. Together they form a unique fingerprint.

Engineering & Materials Science