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
602016
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
322018
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
192019
Compositional Security-Preserving Refinement for Concurrent Imperative Programs
T Murray, R Sison, E Pierzchalski, C Rizkallah
Archive of Formal Proofs, 2016
102016
A Dependent Security Type System for Concurrent Imperative Programs
T Murray, R Sison, E Pierzchalski, C Rizkallah
Archive of Formal Proofs, 2016
52016
Verified secure compilation for mixed-sensitivity concurrent programs
R Sison, T Murray
Journal of Functional Programming 31, 2021
12021
Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs
R Sison
University of New South Wales, Sydney, 2020
12020
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