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