• Skip to primary navigation
  • Skip to main content
  • Skip to primary sidebar
Virtualization.com

Virtualization.com

News and insights from the vibrant world of virtualization and cloud computing

  • News
  • Featured
  • Partnerships
  • People
  • Acquisitions
  • Guest Posts
  • Interviews
  • Videos
  • Funding

OK Labs Teams Up With Galois In Research For Ultra-Secure Systems

March 17, 2011 by Robin Wauters Leave a Comment

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.

Filed Under: News Tagged With: Galois, OK Labs, Open Kernel Labs

Reader Interactions

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Primary Sidebar

Tags

acquisition application virtualization Cisco citrix Citrix Systems citrix xenserver cloud computing Dell desktop virtualization EMC financing Funding Hewlett Packard HP Hyper-V IBM industry moves intel interview kvm linux microsoft Microsoft Hyper-V Novell oracle Parallels red hat research server virtualization sun sun microsystems VDI video virtual desktop Virtual Iron virtualisation virtualization vmware VMware ESX VMWorld VMWorld 2008 VMWorld Europe 2008 Xen xenserver xensource

Recent Comments

  • C program on Red Hat Launches Virtual Storage Appliance For Amazon Web Services
  • Hamzaoui on $500 Million For XenSource, Where Did All The Money Go?
  • vijay kumar on NComputing Debuts X350
  • Samar on VMware / SpringSource Acquires GemStone Systems
  • Meo on Cisco, Citrix Join Forces To Deliver Rich Media-Enabled Virtual Desktops

Copyright © 2025 · Genesis Sample on Genesis Framework · WordPress · Log in

  • Newsletter
  • Advertise
  • Contact
  • About