Robert Sison

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 11

Top Topics

Imperative Programs

Security Policies

Information Flows

Top Venues

Arch. Formal Proofs

Publications

Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version). CoRR (2024)
Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. FM (2023)
Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser
Proving the Absence of Microarchitectural Timing Channels. CoRR (2023)
Robert Sison, Toby Murray
Verified secure compilation for mixed-sensitivity concurrent programs. J. Funct. Program. 31 (2021)
Robert Sison, Toby Murray
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs. CoRR (2020)
Robert Sison, Toby C. Murray
Verifying that a compiler preserves concurrent value-dependent information-flow security. CoRR (2019)
Robert Sison, Toby Murray
Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security. ITP (2019)
Toby C. Murray, Robert Sison, Kai Engelhardt
COVERN: A Logic for Compositional Verification of Information Flow Control. EuroS&P (2018)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
Compositional Security-Preserving Refinement for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
A Dependent Security Type System for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. CSF (2016)