• Published

  Contextual refinement of the Michael-Scott queue (proof pearl)

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

• Published

  Reasoning about monotonicity in separation logic

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

• Published

  Efficient and provable local capability revocation using uninitialized capabilities

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

View all (168) »