Skip to content

Posts tagged ‘hypervisor’

The seL4 Foundation – What and Why on 2020/04/07

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

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

OK Labs Story (8): Competitors and Markets on 2014/10/16

OK Labs Story (1): The Beginning on 2014/08/29

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

Green computing through formal verification? on 2013/03/18

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

VMware MVP: What it really is on 2010/11/11

VMware’s MVP—Encryption Doesn’t Make It Secure! on 2010/10/22