Robert Sison

According to our database, Robert Sison authored at least 12 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verifying Device Drivers with Pancake.

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

CoRR, January, 2025

2024

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version).

Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison

CoRR, 2024

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms.

Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Proving the Absence of Microarchitectural Timing Channels.

Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser

CoRR, 2023

Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.

Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser

Proceedings of the Formal Methods - 25th International Symposium, 2023

2021

Verified secure compilation for mixed-sensitivity concurrent programs.

Robert Sison, Toby Murray

J. Funct. Program., 2021

2020

Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs.

Robert Sison

PhD thesis, 2020

2019

Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security.

Robert Sison, Toby Murray

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

COVERN: A Logic for Compositional Verification of Information Flow Control.

Toby C. Murray, Robert Sison, Kai Engelhardt

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2016

Compositional Security-Preserving Refinement for Concurrent Imperative Programs.

Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah

Arch. Formal Proofs, 2016

A Dependent Security Type System for Concurrent Imperative Programs.

Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah

Arch. Formal Proofs, 2016

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference.

Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016