## Homepages 🌐

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

## Entries

### 2020

##### An Under-Approximate Relational Logic

by Toby Murray 🌐
Mar 12

### 2016

##### Compositional Security-Preserving Refinement for Concurrent Imperative Programs

by Toby Murray 🌐, Robert Sison, Edward Pierzchalski and Christine Rizkallah 🌐
Jun 28

##### A Dependent Security Type System for Concurrent Imperative Programs

by Toby Murray 🌐, Robert Sison, Edward Pierzchalski and Christine Rizkallah 🌐
Jun 25