The seL4 Foundation Welcomes Adventium Labs!
22 Jul
2020
22 Jul
'20
3:14 p.m.
Dear seL4 community, We’re happy to announce the newest member of the seL4 Foundation: Minneapolis-based company Adventium Labs. Adventium Labs develops solutions for safe and secure software-intensive complex systems, with specialties in separation architectures, model-based system engineering, and mathematical analysis technologies. They are leveraging these capabilities to extend seL4 into safety and security critical industries, including medical devices, defense and commercial avionics, and industrial control. Gernot seL4 Foundation Chair
1614
Age (days ago)
1614
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list