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 […]
Starting 2017 off strong. At Trustworthy Systems, we’ve achieved major cyber-security milestones funded by the US Department of Defense over […]
seL4 on the Raspberry Pi 3 The seL4 kernel is a burgeoning project that’s been creating a buzz in the […]
