Open Kernel Labs (OK Labs), provider of embedded virtualization software for smartphones, tablets, and other connected devices, and Galois, 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 high levels of assurance, correctness and risk management for government agencies and contractors, device OEMs, network operators, software developers and integrators.