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)

Search results