Open Kernel Labs and Galois Partner in Original Research for Ultra-Secure Systems

March 09, 2011

Collaboration among R&D and commercialization organizations targets devices and applications needing high assurance, correctness and risk management in government, military, and enterprise

Chicago and Portland, OR - March 9, 2011 - Open Kernel Labs (Open Kernel Labs), the leading provider of embedded virtualization software for smartphones, tablets, and other connected devices, and Galois, Inc., a technology transition company specializing in software security, safety, privacy and performance, today announced a technology partnership to create and commercialize ultra-secure and trustworthy systems for communications, data processing, and control. 

The outcome of Open Kernel Labs and Galois collaboration will have broad horizontal impact, augmenting the security of systems in applications from software-defined radio to financial services, and medical and mobile/wireless devices. Building on original research by Galois and by Open Kernel Labs incubation partner NICTA (National ICT Australia) on the OKL4 Verified platform for mission-critical applications, Galois and Open Kernel Labs support extremely high levels of assurance, correctness and risk management for government agencies and contractors, device OEMs, network operators, software developers and integrators.

In January 2011, Open Kernel Labs announced availability for download of OKL4 Verified, a fully verified, bug-free microkernel for business-critical and mission-critical applications in mobile/wireless devices. Open Kernel Labs previously announced the completion of groundbreaking research by Open Kernel Labs, NICTA, and researchers at the University of New South Wales (UNSW), to provide formal mathematical proof of the correctness of the kernel.

Key Facts

  • Open Kernel Labs and Galois combine original research and proven commercialization capabilities to target ultra-secure system requirements in government, military, and enterprise.
  • Joint solutions crafted by Galois and Open Kernel Labs enhance security and trustworthiness of diverse systems across communications, data processing, and control.
  • Devices deploying Open Kernel Labs’ and Galois’ technology will be able to reach the highest evaluation, certification and accreditation levels, e.g., Common Criteria EAL5-EAL7 and the emerging NIST SP 800-53 Risk Management Framework. 

“The design philosophy of the Open Kernel Labs verified microkernel aligns closely with the principles that guide Galois’ research and development of security technology and services,” noted Laura McKinney, CEO, Galois. “Partnering with Open Kernel Labs lets Galois build assurance arguments on OKL4 Verified, enabling higher levels of assurance than previously possible, which increases customers’ confidence in their most trusted systems.” 

“Together, Open Kernel Labs and Galois offer device manufacturers and software developers levels of trustworthiness and assurance found nowhere else in the industry,” said Carl Nerup, VP Business Development, Open Kernel Labs. “Our collaboration yields unique capabilities for building and deploying mission-critical applications that meet strict federal, military, and civilian agency requirements, and imbuing business-critical enterprise and mobile apps with comparable security and assurance.”

About Galois

Galois was founded in 1999 to provide a unique R&D capability for government and commercial clients. Galois applies revolutionary mathematical, computer science and engineering approaches to solve critical problems in software security, safety, privacy and performance. Galois has been instrumental in bringing cutting edge research into practice for the DoD, DoE, Intelligence, medical and aerospace communities.

About Open Kernel Labs

Open Kernel Labs is the global leader in virtualization software for mobile/wireless devices and embedded systems. Open Kernel Labs software is deployed on more than one billion mobile phones worldwide. Semiconductor suppliers, mobile OEMs, mobile network operators, and enterprise IT depend on Open Kernel Labs to deliver high performance solutions that decrease BOM cost, reduce complexity, and speed time-to-market. 


Open Kernel Labs: 
About OKL4 Verified:
Galois, Inc.
Visit the Open Kernel Labs blog and the Galois blog


Open Kernel Labs, Open Kernel Labs and Secure HyperCell™ Technology are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Galois is a registered trademark of Galois, Inc. in the US and other countries. Other names may be trademarks of their respective owners. All other trademarks and registered trademarks are property of their respective owners. 

Trish Colby    
+1 408 828 2861

Georgia Hanias
Ballou PR

Jack Zhang
Newell Public Relations
+86-10-6581 0096 ext.229

Marti Konstant
Open Kernel Labs
+1 312 933 0101

« View All Press Releases