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

Lau Skorstengaard, Dominique Devriese, Lars Birkedal

Onderzoeksoutput: Articlepeer review

23 Citaten (Scopus)
217 Downloads (Pure)
Filter
Other report

Zoekresultaten