Department of Computer Science

• Published

  Unifying Cubical and Multimodal Type Theory

  Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

• Published

  Modular verification of op-based CRDTs in separation logic

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

• 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 (184) »