Advertisment

OK Labs paves way to deploy mobile virtualisation

author-image
CIOL Bureau
Updated On
New Update

Advertisment

BANGALORE, INDIA: Virtualisation firm OK Labs claims it will offer "provably correct code and methodology", for mobile phones: "By mathematically proving the correctness of underlying kernel functioning, we have paved the way for validating and deploying mobile virtualisation under certification and security regimes like Common Criteria."

Proof, said the firm, has come through a project involving National ICT Australia (NICTA) and the University of New South Wales (UNSW). The project was led by NICTA, which is the Australian government lab that incubated OK Labs, and has investments in the firm.

Formal logic and programmatic theorem-checking was used to eliminate, said OK Labs, exploitable errors in the kernel including design flaws and code-based errors like: buffer overflows, null pointer dereference and other point errors; memory leaks.

For More Click here:

OK Labs paves way for deploying mobile virtualisation

tech-news