Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference T Murray, R Sison, E Pierzchalski, C Rizkallah 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 417-431, 2016 | 70 | 2016 |
COVERN: A Logic for Compositional Verification of Information Flow Control T Murray, R Sison, K Engelhardt 2018 IEEE European Symposium on Security and Privacy (EuroS&P), 16-30, 2018 | 44 | 2018 |
Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security R Sison, T Murray 10th International Conference on Interactive Theorem Proving (ITP 2019) 141 …, 2019 | 25 | 2019 |
Compositional Security-Preserving Refinement for Concurrent Imperative Programs T Murray, R Sison, E Pierzchalski, C Rizkallah Archive of Formal Proofs, 2016 | 9 | 2016 |
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems R Sison, S Buckley, T Murray, G Klein, G Heiser International Symposium on Formal Methods, 103-121, 2023 | 7 | 2023 |
A Dependent Security Type System for Concurrent Imperative Programs T Murray, R Sison, E Pierzchalski, C Rizkallah Archive of Formal Proofs, 2016 | 5 | 2016 |
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version) P Yan, T Murray, O Ohrimenko, VT Pham, R Sison arXiv preprint arXiv:2407.00514, 2024 | 1 | 2024 |
Proving the Absence of Microarchitectural Timing Channels S Buckley, R Sison, N Wistoff, C Millar, T Murray, G Klein, G Heiser arXiv preprint arXiv:2310.17046, 2023 | 1 | 2023 |
Verified secure compilation for mixed-sensitivity concurrent programs R Sison, T Murray Journal of Functional Programming 31, 2021 | 1 | 2021 |
Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs R Sison University of New South Wales, Sydney, 2020 | 1 | 2020 |
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms P Yan, T Murray, O Ohrimenko, VT Pham, R Sison International Symposium on Formal Methods, 188-205, 2024 | | 2024 |
Verifying the seL4 Microkit T Weibel, ZA Kocsis, M Paturel, R Sison, I Subasinghe, G Heiser | | 2024 |
Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs R Sison 2nd Workshop on Principles of Secure Compilation (PriSC), 2018 | | 2018 |