The most widely deployed mobile virtualization solution
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.
“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.”
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.
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: http://www.ok-labs.com
About OKL4 Verified: http://www.ok-labs.com/registrations/software-EULA
Galois, Inc. http://www.galois.com
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.
+1 408 828 2861