Robert Sison

According to our database, Robert Sison authored at least 9 papers between 2016 and 2023.

Collaborative distances:

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

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