By Dr Robert Abella Sison

Preprints

Buckley S; Sison R; Wistoff N; Millar C; Murray T; Klein G; Heiser G, 2023, Proving the Absence of Microarchitectural Timing Channels, , http://arxiv.org/abs/2310.17046v1

Sison R; Murray T, 2020, Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs, , http://dx.doi.org/10.48550/arxiv.2010.14032

Sison R; Murray T, 2019, Verifying that a compiler preserves concurrent value-dependent information-flow security, , http://dx.doi.org/10.48550/arxiv.1907.00713

Back to profile page