Crisis: Security vs performance. It’s a choice we’ve been avoiding. Prologue: We thought it prudent to give a description of […]
“And e’er the twain shall meet.” Say hello to our Formal Methods engineers. “I need to talk to you about […]
Securing outer space with seL4 Welcome to 2017: we have self-driving cars, mag lev trains, Tesla’s SpaceX and now: seL4-powered […]
