Skip to content

Posts from the ‘operating systems and virtualization’ Category

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

“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

What does seL4’s license imply? on 2019/12/09

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

How to (and how not to) use seL4 IPC on 2019/03/07

Microkernels Really Do Improve Security on 2018/08/23

Verified software can (and will) be cheaper than buggy stuff on 2016/06/16

So, the FBI cracked the iPhone. With a zero-day and hardware? on 2016/04/14