Follow
Rob Sison
Rob Sison
Other namesRobert 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
712016
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
452018
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
252019
Compositional Security-Preserving Refinement for Concurrent Imperative Programs
T Murray, R Sison, E Pierzchalski, C Rizkallah
Archive of Formal Proofs, 2016
92016
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
72023
A Dependent Security Type System for Concurrent Imperative Programs
T Murray, R Sison, E Pierzchalski, C Rizkallah
Archive of Formal Proofs, 2016
52016
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
P Yan, T Murray, O Ohrimenko, VT Pham, R Sison
arXiv preprint arXiv:2407.00514, 2024
12024
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
12023
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
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms
P Yan, T Murray, O Ohrimenko, VT Pham, R Sison
International Symposium on Formal Methods, 188-205, 2024
2024
Verifying the seL4 Microkit
T Weibel, ZA Kocsis, M Paturel, R Sison, I Subasinghe, G Heiser
2024
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–13