Dr Rob Sison
Honorary (Fellow)
School of Computing and Information Systems
8 Scholarly works
0 Projects
HIGHLIGHTS
2026
Book Chapter
A Rely-Guarantee-Based Simulation for Cooperative Semantics
DOI: 10.1007/978-3-032-11176-0_72025
Conference Proceedings
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms
DOI: 10.1007/978-3-031-71162-6_102023
Conference Proceedings
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems
DOI: 10.1007/978-3-031-27481-7_82021
Journal article
Verified secure compilation for mixed-sensitivity concurrent programs
DOI: 10.1017/s09567968210001622020
Thesis / Dissertation
Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs
DOI: 10.26190/5fab5c0a764542019
Conference Proceedings
Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security
DOI: 10.4230/LIPIcs.ITP.2019.272018
Conference Proceedings
COVERN: A Logic for Compositional Verification of Information Flow Control
DOI: 10.1109/EuroSP.2018.00010
RECENT SCHOLARLY WORKS
2016
Conference Proceedings
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference
DOI: 10.1109/CSF.2016.36