Robert Sison

15 papers A 2B 2C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
A Rely-Guarantee-Based Simulation for Cooperative Semantics.
ICTAC
Kevin Tran, Johannes Åman Pohjola, Robert Sison, Gerwin Klein
2025 J jnl
Verifying Device Drivers with Pancake.
CoRR
Junming Zhao, Alessandro Legnani, Tiana J. Tsang Ung, H. Truong, Tsun Wang Sau, Miki Tanaka, Johannes Åman Pohjola, Thomas Sewell, Robert Sison, Syeda Hira, Magnus Myreen, Michael Norrish, Gernot Heiser
2024 J jnl
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version).
CoRR
Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison
2024 — conf
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms.
FM (1)
Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison
2023 B conf
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.
FM
Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser
2023 J jnl
Proving the Absence of Microarchitectural Timing Channels.
CoRR
Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser
2021 J jnl
Verified secure compilation for mixed-sensitivity concurrent programs.
J. Funct. Program.
Robert Sison, Toby Murray
2020 — —
Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs.
Robert Sison
2020 J jnl
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs.
CoRR
Robert Sison, Toby Murray
2019 B conf
Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security.
ITP
Robert Sison, Toby Murray
2019 J jnl
Verifying that a compiler preserves concurrent value-dependent information-flow security.
CoRR
Robert Sison, Toby C. Murray
2018 A conf
COVERN: A Logic for Compositional Verification of Information Flow Control.
EuroS&P
Toby C. Murray, Robert Sison, Kai Engelhardt
2016 J jnl
A Dependent Security Type System for Concurrent Imperative Programs.
Arch. Formal Proofs
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
2016 J jnl
Compositional Security-Preserving Refinement for Concurrent Imperative Programs.
Arch. Formal Proofs
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
2016 A conf
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference.
CSF
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah