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 2019 · cs.PLShow all

1 paper · 2 filters

cs.PL2019★ 1 cited

Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details

Lau Skorstengaard, Dominique Devriese, Lars Birkedal

We propose a calling convention for capability machines with local capabilities. The calling convention ensures local-state encapsulation and well-bracketed control flow. We use th…