News

Cyber security expert discusses Five Eyes statement on AI

Boyd Multerer speaks to Radio New Zealand about the Five Eyes statement on AI

The only way to win the cat-and-mouse game is to stop playing it.

Formal Methods and OT Cybersecurity in the Mythos Era.

Lessons from the road

Boyd Multerer reflects on his recent trip to the US, UK and Japan. Of particular interest are the shifts in conversations from just one year ago.

NZ Hi-Tech Awards - Creating a safer, smarter tech world, one Kry10 step at a time

Kry10, Māori Company of the Year award nomination at NZ Hi-Tech Awards.

DARPA Chief Asks MRO Industry To Try Hack-Proof Software

DARPA wants to work with aviation MRO companies and the wider defense industry to implement a new software coding process that could eliminate most of the military’s cyber vulnerabilities.

The White House announces efforts in formal methods

Kry10 OS, KOS, Formal Methods, National CyberSecurity.

CyManII: Partnership to create a formally verified reference architecture

Kry10 raises $6m from investors including Folklore, Rotomā, fund backed by intelligence agencies

The IoT Show: Introducing Kry10 on Apple Podcasts

Interview with Oliver Bloch at The IoT Show Podcast

KOS Release 2023.11

Kry10 Operating System Release Announcement

The Security Ledger: Building a secure OS for the IoT

Interview with Paul Roberts at The Security Ledger podcast.

KOS Release 2023.5

Kry10 Operating System Release Announcement

‘Father of Xbox’, Treaty negotiator plan world domination from Wellington

Kry10 and the seL4 Platform - seL4 Summit 2022

Members of the Kry10 Team attended the 2022 seL4 Summit in Munich

KOS Release 2022.11

Kry10 Operating System Release Announcement

Business is Boring: Redefining the industrial internet of things

Interview with Simon Pound at Business is Boring podcast.

KOS Release 2022.7

Kry10 Operating System Release Announcement

KOS Release 2022.4

Kry10 Operating System Release Announcement