• Published

  Iris-Wasm: Robust and Modular Verification of WebAssembly Programs

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

• Published

  Designing and Proving Robust Safety of Efficient Capability Machine Programs

  Research output: Book/anthology/dissertation/report › Ph.D. thesis

• Published

  Proving full-system security properties under multiple attacker models on capability machines

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

View all (6) »