UNSW Research Web and Researcher Profiles are undergoing scheduled maintenance between 9:00 am on 9th October 2024 and 5:00 pm on 9th October 2024.
Content changes made during this period will be lost. This maintenance does not impact InfoEd or other applications.

Select Publications

Preprints

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://arxiv.org/abs/2407.00514v1

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

Sison R; Murray T, 2020, 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