Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. - Toby C. Murray; Robert Sison; Edward Pierzchalski; Christine Rizkallah (CSF, 2016)

A Dependent Security Type System for Concurrent Imperative Programs. - Toby C. Murray; Robert Sison; Edward Pierzchalski; Christine Rizkallah (Arch. Formal Proofs, 2016)

Compositional Security-Preserving Refinement for Concurrent Imperative Programs. - Toby C. Murray; Robert Sison; Edward Pierzchalski; Christine Rizkallah (Arch. Formal Proofs, 2016)

COVERN: A Logic for Compositional Verification of Information Flow Control. - Toby C. Murray; Robert Sison; Kai Engelhardt (EuroS&P, 2018)

Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security. - Robert Sison; Toby Murray (ITP, 2019)

Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs. - Robert Sison (2020)

Verified secure compilation for mixed-sensitivity concurrent programs. - Robert Sison; Toby Murray (J. Funct. Program., 2021)

Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. - Robert Sison; Scott Buckley; Toby Murray; Gerwin Klein; Gernot Heiser (FM, 2023)

Proving the Absence of Microarchitectural Timing Channels. - Scott Buckley; Robert Sison; Nils Wistoff; Curtis Millar; Toby Murray; Gerwin Klein; Gernot Heiser (CoRR, 2023)

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms. - Pengbo Yan; Toby Murray; Olga Ohrimenko; Van-Thuan Pham; Robert Sison (FM (1), 2024)

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version). - Pengbo Yan; Toby Murray; Olga Ohrimenko; Van-Thuan Pham; Robert Sison (CoRR, 2024)

Verifying Device Drivers with Pancake. - Junming Zhao; Alessandro Legnani; Tiana J. Tsang Ung; H. Truong; Tsun Wang Sau; Miki Tanaka; Johannes Åman Pohjola; Thomas Sewell; Robert Sison; Syeda Hira; Magnus Myreen; Michael Norrish; et al. (CoRR, 2025)