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 | 64 | 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 | 36 | 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 | 22 | 2019 |
Compositional Security-Preserving Refinement for Concurrent Imperative Programs T Murray, R Sison, E Pierzchalski, C Rizkallah Archive of Formal Proofs, 2016 | 10 | 2016 |
A Dependent Security Type System for Concurrent Imperative Programs T Murray, R Sison, E Pierzchalski, C Rizkallah Archive of Formal Proofs, 2016 | 5 | 2016 |
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 |
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems R Sison, S Buckley, T Murray, G Klein, G Heiser | | 2022 |
Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs R Sison 2nd Workshop on Principles of Secure Compilation (PriSC), 2018 | | 2018 |