Toby Murray

An Under-Approximate Relational Logic

by Toby Murray 🌐

Compositional Security-Preserving Refinement for Concurrent Imperative Programs

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

A Dependent Security Type System for Concurrent Imperative Programs

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