• 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

• Accepted/In press

  OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads

  Research output: Contribution to conference › Paper › Research › peer-review

• Published

  Nontransitive policies transpiled

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

View all (11) »

• Misinformed messaging app choices based on privacy misconceptions

  Prize: Prizes, scholarships, distinctions

View all (1) »