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.

Advertisement. Scroll to continue reading.

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 managing 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

Trending

Daily Briefing Newsletter

Subscribe to the SecurityWeek Email Briefing to stay informed on the latest threats, trends, and technology, along with insightful columns from industry experts.

Discover strategies for vendor selection, integration to minimize redundancies, and maximizing ROI from your cybersecurity investments. Gain actionable insights to ensure your stack is ready for tomorrow’s challenges.

Register

Dive into critical topics such as incident response, threat intelligence, and attack surface management. Learn how to align cyber resilience plans with business objectives to reduce potential impacts and secure your organization in an ever-evolving threat landscape.

Register

People on the Move

The US arm of networking giant TP-Link has appointed Adam Robertson as Director of Information and Security.

Cyber exposure management firm Armis has promoted Alex Mosher to President.

Software giant Atlassian has named David Cross as its new CISO.

More People On The Move

Expert Insights

Daily Briefing Newsletter

Subscribe to the SecurityWeek Email Briefing to stay informed on the latest cybersecurity news, threats, and expert insights. Unsubscribe at any time.