toggle menu
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
AVB & TSN IP
Secure Technologies
Virtualized Platform Development
FPGA Engineering
AI/ML Acceleration
Connected Product Development
Medical Device Engineering
Blog
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting
Blog
Home
/
Blog
/
cybersecurity
Defend Your Devices Against a Common and Insidious Hack with seL4
Posted on March 31, 2021 by Matthew Russell
Tags:
cybersecurity
,
demo
,
isolation
,
Microchip
,
PolarFire SOC
,
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
,
space
,
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, DornerWorks and Others
Posted on April 9, 2020 by DornerWorks Ltd.
Tags:
cybersecurity
,
linux
,
Linux Foundation
,
security
,
seL4
,
seL4 Foundation
<< Newer Entries
Explore More
Most Used Tags
IoT
FPGA
seL4
security
Xilinx
cybersecurity
AMD
hypervisor
space
Ethernet
Machine Learning
aerospace
SBIR
TSN
FACE
View All
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
AVB & TSN IP
Secure Technologies
Virtualized Platform Development
FPGA Engineering
AI/ML Acceleration
Connected Product Development
Medical Device Engineering
Blog
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting