Follow
Robert Sison
Robert Sison
School of Computer Science and Engineering, UNSW Sydney
Verified email at unsw.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
692016
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
422018
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
242019
Compositional Security-Preserving Refinement for Concurrent Imperative Programs
T Murray, R Sison, E Pierzchalski, C Rizkallah
Archive of Formal Proofs, 2016
92016
A Dependent Security Type System for Concurrent Imperative Programs
T Murray, R Sison, E Pierzchalski, C Rizkallah
Archive of Formal Proofs, 2016
52016
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
42023
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
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
2023
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–10