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