Skip to content

Posts from the ‘embedded systems’ Category

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

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

Can seL4 reduce the cost of satellites? on 2019/11/19

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

Cyber-security: We must and can do better! on 2014/12/22

RIP Open Kernel Labs, Welcome Cog Systems on 2014/08/22

seL4 is finally free! Can you afford not to use it? on 2014/08/17

Clarification on seL4 media reports on 2014/07/30

Automotive: the next frontier for virtualization on 2012/02/04

Hey VMware: Secure It Ain’t! on 2011/09/09