Skip to content

Posts from the ‘safety and security’ Category

GoFetch: Will people ever learn? on 2024/04/18

ML accelerates the cyber arms race — we need real security more than ever on 2022/11/08

seL4 Integrity Enforcement Proved for RISC-V on 2021/08/04

There’s more to it, Dr Marshall! on 2021/07/27

“Trustworthy Systems Research is Done” – Are You Kidding, CSIRO? on 2021/05/31

No Safety without (Cyber-)Security! on 2020/11/07

seL4 is verified on RISC-V! on 2020/06/09

10 Years seL4: Still the Best, Still Getting Better on 2019/08/06

Microkernels Really Do Improve Security on 2018/08/23

Insecure by design – lessons from the Meltdown and Spectre debacle on 2018/02/05