| 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 | 46 | 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 | 23 | 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 | 7 | 2019 |
| Compositional Security-Preserving Refinement for Concurrent Imperative Programs T Murray, R Sison, E Pierzchalski, C Rizkallah Archive of Formal Proofs, 2016 | 7 | 2016 |
| A Dependent Security Type System for Concurrent Imperative Programs T Murray, R Sison, E Pierzchalski, C Rizkallah Archive of Formal Proofs, 2016 | 3 | 2016 |
| Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs R Sison University of New South Wales, Sydney, 2020 | 1 | 2020 |
| Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs R Sison, T Murray arXiv preprint arXiv:2010.14032, 2020 | | 2020 |
| Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs R Sison 2nd Workshop on Principles of Secure Compilation (PriSC), 2018 | | 2018 |
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
