open kernel labs
July 2nd, 2010 at 03:17pm
Under MTM
The site Mobile Dev and Design recently published an article describing a collaboration between Open Kernel Labs and Sirrix Security Technology to produce a secure mobile computing environment. The outline of the platform says: The joint prototype will run on readily available N900 mobile hardware and integrate the Sirrix Turaya Security Kernel (encryption, VPN, MTM/attestation, [...]
Continue Reading Open Kernel Labs and Sirrix produce a Mobile Trusted Platform
Tags: okl4, open kernel labs, sirrix
By Ken Y-N
February 4th, 2010 at 02:46pm
Under Virtualisation
L4 and its variants is a popular microkernel that can be found in many places, including even right at the bottom of Google’s Android system. So, I was interested to read about a formal proof for seL4, after five years of work by Open Kernel Labs and NICTA, Australia’s Information and Communications Technology Research Centre [...]
Continue Reading Open Kernel Labs’ kernel proved correct
Tags: open kernel labs, sel4
By Ken Y-N
July 20th, 2009 at 03:12pm
Under MTM+ Virtualisation
Embedded Computing recently published an article by Steve Subar of Open Kernel Labs on mobile phone virtualization. This is a subject in which I have a lot of active interest, especially in relation to the Mobile Trusted Module and its associated Multi-Stakeholder Model. Open Kernel Labs’ OKL4 hypervisor has found its way into the two [...]
Continue Reading Virtualization on mobile phones
Tags: android, iphone, open kernel labs
By Ken Y-N
October 8th, 2008 at 04:46am
Under Virtualisation
Rob McCammon, the Vice President of Product Management for Open Kernel Labs, is due to speak – well, by the time you read this he’ll have already finished! – at the ARM Developer’ Conference in Santa Clara on the 7th of October 2008. He will be explaining how virtualisation can address security challenges in the [...]
Continue Reading Open Kernel Labs to speak at ARM Developers’ Conference
Tags: arm, open kernel labs, Virtualisation
By Ken Y-N
October 2nd, 2008 at 01:12pm
Under MTM
As someone whose particular interest in the Trusted Computing world is the mobile sphere, I found this story a sign of what may come – I remember the rumours about a TPM in the iPhone, so how long before we see a TPM (Trusted Platform Module) in an Android phone, either the rumour or the [...]
Continue Reading OKL4 and Android: are the pieces slotting into place?
Tags: android, google, htc, okl4, open kernel labs
By Ken Y-N
September 25th, 2008 at 09:25am
Under General
Open Kernel Labs have recently appeared on my personal radar – when you start looking at the connections between companies, consortia and projects it’s quite amazing what you find! – so I was naturally very curious to see what they were talking about in a recent post on Trusted vs. Trustworthy. Trust is often misunderstood [...]
Continue Reading Open Kernel Labs on Trust and Trustworthiness
Tags: benno leslie, open kernel labs, trustworthy
By Ken Y-N