Trustworthy Systems

Scott Buckley
Research Associate

Research Interests

Scott works in the time protection team.

Contact Details

Email:s.buckley@unsw.edu.au

More contact information is available at the Contact page.

Photo of Scott Buckley

Publication List

Projects

Current

Publications

Trustworthy Systems Group Papers

2023

Abstract PDF 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, Germany, March, 2023