By Dr Rob Sison

Preprints

Zhao J; Tanaka M; Pohjola JÅ; Legnani A; Ung TT; Truong H; Sau TW; Sewell T; Sison R; Syeda H; Myreen M; Norrish M; Heiser G, 2025, Verifying Device Drivers with Pancake, http://dx.doi.org/10.48550/arxiv.2501.08249

Yan P; Murray T; Ohrimenko O; Pham V-T; Sison R, 2024, Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version), http://dx.doi.org/10.48550/arxiv.2407.00514

Buckley S; Sison R; Wistoff N; Millar C; Murray T; Klein G; Heiser G, 2023, Proving the Absence of Microarchitectural Timing Channels, http://dx.doi.org/10.48550/arxiv.2310.17046

Sison R; Murray T, 2022, Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs, http://dx.doi.org/10.48550/arxiv.2010.14032

Sison R; Murray T, 2019, Verifying that a compiler preserves concurrent value-dependent information-flow security, http://dx.doi.org/10.48550/arxiv.1907.00713

Back to profile page