Segueix
Rob Sison
Rob Sison
Altres nomsRobert Sison
School of Computer Science and Engineering, UNSW Sydney
Correu electrònic verificat a unsw.edu.au - Pàgina d'inici
Títol
Citada per
Citada per
Any
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
732016
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
482018
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
COVERN-RG release of Isabelle/HOL theories for Robert Sison's PhD thesis
R Sison, T Murray, E Pierzchalski, K Engelhardt, C Rizkallah
2020
10th International Conference on Interactive Theorem Proving (ITP 2019)
J Andronick, K Buzzard, M Dixon, M Abdulaziz, C Gretton, M Norrish, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs
R Sison
2nd Workshop on Principles of Secure Compilation (PriSC), 2018
2018
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–15