• Published

  VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A

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

• 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

  mitten: A Flexible Multimodal Proof Assistant

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

View all (188) »