Toby Murray

https://people.eng.unimelb.edu.au/tobym/

2020

An Under-Approximate Relational Logic
by Toby Murray

12 Mar

2016

Compositional Security-Preserving Refinement for Concurrent Imperative Programs
by Toby Murray, Robert Sison, Edward Pierzchalski and Christine Rizkallah

28 Jun

A Dependent Security Type System for Concurrent Imperative Programs
by Toby Murray, Robert Sison, Edward Pierzchalski and Christine Rizkallah

25 Jun