Department of Computer Science

• Accepted/In press

  Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

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

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (152) »