Scott is a postdoctoral fellow, working on verifying time protection: modeling microarchitectural state behaviour and proving that seL4's time protection mechanisms prevent leaks through time-based microarchitectural side channels. Prior to this work Scott completed his PhD in programming languages and formal methods at Macquarie University, Sydney.
More contact information is available at the Contact page.
||Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein and Gernot Heiser|
Formalising the prevention of microarchitectural timing channels by operating systems
International Symposium on Formal Methods (FM), Lübeck, DE, March, 2023