About Scott Buckley

Computer scientist specialising in formal verification for microarchitectural timing channels in seL4. Also specialising in very good beer.

Currently chilling in Sydney for a few months before moving to Brussels.

ex UNSW (Trustworthy Systems), Macquarie Uni, Oedipus Brewing.

Lists

Timeline

{username} has no activity yet