Blog

Home / Blog / cybersecurity

How seL4 Enables Protection Against a Common and Insidious Hack

Posted on March 31, 2021 by Matthew Russell

Tags: cybersecurity, demo, isolation, Microchip, PolarFireSOC, seL4, separation

Demonstrating seL4's isolation capabilities for a US Army SBIR, DornerWorks engineers built two simple HTTP servers running on seL4 on both the Xilinx ZU102 (ARM) and Microchip's PolarFire SOC Icicle Kit (RISC-V)....Read more

How Microchip’s Authentication Chip Makes IoT Devices More Secure

Posted on March 15, 2021 by Matthew Russell

Tags: cybersecurity, encryption, IoT, Microchip, security

NASA Launches Space Cyber-resilience into a New Era with the seL4 Microkernel

Posted on June 18, 2020 by Matthew Russell

Tags: ARM, cyber-resilience, cybersecurity, HPSC, NASA, SBIR, seL4, virtualization

Enable the Security Potential and Versatility of seL4 in Medical Device Development

Posted on April 23, 2020 by Matthew Russell

Tags: cybersecurity, isolation, medical, security, seL4

seL4 Foundation Backed by Linux Foundation, Founding Members CSIRO’s Data61, DornerWorks and Others

Posted on April 9, 2020 by DornerWorks Ltd.

Tags: cybersecurity, linux, Linux Foundation, security, seL4, seL4 Foundation

Explore More