Robert Sison
Robert Sison
School of Computing and Information Systems, The University of Melbourne
Verified email at unimelb.edu.au - Homepage
Title
Cited by
Cited by
Year
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
462016
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
232018
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
72019
Compositional Security-Preserving Refinement for Concurrent Imperative Programs
T Murray, R Sison, E Pierzchalski, C Rizkallah
Archive of Formal Proofs, 2016
72016
A Dependent Security Type System for Concurrent Imperative Programs
T Murray, R Sison, E Pierzchalski, C Rizkallah
Archive of Formal Proofs, 2016
32016
Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs
R Sison
University of New South Wales, Sydney, 2020
12020
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
The system can't perform the operation now. Try again later.
Articles 1–8