SOURCE: Open Kernel Labs

March 09, 2011 06:05 ET

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

Collaboration Among R&D and Commercialization Organizations Targets Devices and Applications Needing High Assurance, Correctness and Risk Management in Government, Military, and Enterprise

CHICAGO, IL and PORTLAND, OR--(Marketwire - March 9, 2011) - Open Kernel Labs (OK 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 OK 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 OK Labs incubation partner NICTA (National ICT Australia) on the OKL4 Verified platform for mission-critical applications, Galois and OK 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, OK Labs announced availability for download of OKL4 Verified, a fully correct and verified, bug-free microkernel for business-critical and mission-critical applications in mobile/wireless devices. OK Labs previously announced the completion of groundbreaking research by OK 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

  • OK 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 OK Labs enhance security and trustworthiness of diverse systems across communications, data processing, and control.
  • Devices deploying OK 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 OK 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 OK 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, OK Labs and Galois offer device manufacturers and software developers levels of trustworthiness and assurance found nowhere else in the industry," commented Carl Nerup, VP Business Development, OK 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

OK Labs is the global leader in virtualization software for mobile/wireless devices and embedded systems. OK Labs software is deployed on more than one billion mobile phones worldwide. Semiconductor suppliers, mobile OEMs, mobile network operators, and enterprise IT depend on OK 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.


mobile, wireless, virtualization, OKL4 Verified, security, assurance, trustworthiness, risk management

Visit the Open Kernel Labs blog and the Galois blog

Open Kernel Labs, OK 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.

Contact Information