This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Scott Buckley
@DrWraith@aus.social
Joined: 01/28/2023
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
DrWraith has no public lists
Timeline
DrWraith has no activity yet