Security Experts:

Connect with us

Hi, what are you looking for?

SecurityWeekSecurityWeek

Endpoint Security

Google Unveils KataOS ‘Verifiably-Secure’ Operating System for Embedded Devices

Google last week unveiled a new project focused on building a secure embedded platform for machine learning (ML) applications.

The project’s goal is designing intelligent ambient ML systems that are secure and trustworthy.

Google last week unveiled a new project focused on building a secure embedded platform for machine learning (ML) applications.

The project’s goal is designing intelligent ambient ML systems that are secure and trustworthy.

The project is named Sparrow and it revolves around a new operating system named KataOS, for which several components have already been open sourced by Google.

“KataOS provides a verifiably-secure platform that protects the user’s privacy because it is logically impossible for applications to breach the kernel’s hardware security protections and the system components are verifiably secure,” Google explained.

The tech giant pointed out that KataOS is mostly developed in Rust, which makes it more secure because it eliminates buffer overflows and other classes of bugs.

Sparrow is the reference implementation for KataOS. It combines the new operating system, which provides a logically-secure kernel, with a secured hardware platform that provides a logically-secure root of trust leveraging the OpenTitan project on a RISC-V architecture.

“The KataOS components are based on an augmented version of seL4’s CAmkES framework. Critical system services are CAmkES components that are statically configured. Applications are developed using an AmbiML-focused SDK and dynamically loaded by the system services,” KataOS developers explained.

Google says its goal is to open source the entire Sparrow project, including all hardware and software designs. For now it has open sourced some components and invites others to contribute.

Source code and technical details for Sparrow and KataOS are available on GitHub.

Related: Academics Devise Open Source Tool For Hunting Node.js Security Flaws

Related: Apache Foundation Calls Out Open-Source Leechers

Related: Microsoft Releases Open Source Toolkit for Generating SBOMs

Related: Bishop Fox Releases Open Source Cloud Hacking Tool ‘CloudFox’

Written By

Eduard Kovacs (@EduardKovacs) is a contributing editor at SecurityWeek. He worked as a high school IT teacher for two years before starting a career in journalism as Softpedia’s security news reporter. Eduard holds a bachelor’s degree in industrial informatics and a master’s degree in computer techniques applied in electrical engineering.

Click to comment

Expert Insights

Related Content

IoT Security

Lexmark warns of a remote code execution (RCE) vulnerability impacting over 120 printer models, for which PoC code has been published.

Application Security

Electric car maker Tesla is using the annual Pwn2Own hacker contest to incentivize security researchers to showcase complex exploit chains that can lead to...

Cybersecurity Funding

Internet of Things (IoT) and Industrial IoT security provider Shield-IoT this week announced that it has closed a $7.4 million Series A funding round,...

IoT Security

A group of seven security researchers have discovered numerous vulnerabilities in vehicles from 16 car makers, including bugs that allowed them to control car...

IoT Security

Today’s growing attack surface is dominated by non-traditional endpoints.

Application Security

Virtualization technology giant VMware on Tuesday shipped urgent updates to fix a trio of security problems in multiple software products, including a virtual machine...

Application Security

Computer maker Lenovo has started pushing security patches to address three vulnerabilities impacting the UEFI firmware of more than 110 laptop models.

Application Security

Password management firm LastPass says the hackers behind an August data breach stole a massive stash of customer data, including password vault data that...