Kry10 awarded funding from the Advanced Research and Invention Agency (ARIA) to build mathematically provable defences for critical infrastructure
As AI increasingly permeates our world, Kry10 CEO Boyd Multerer responds to one of the most common questions he gets asked, “What is Kry10 actually doing with AI?”
Jason Fox reflects on the convergence between formal methods and AI which has led to the US Government requiring formal methods foundations as part of future software procurement.
Boyd Multerer, is an advocate of a maths-based cybersecurity approach called 'formal methods', which is now being piloted by the US Air Force.
Boyd Multerer speaks to Radio New Zealand about the Five Eyes statement on AI
Formal Methods and OT Cybersecurity in the Mythos Era.
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.
Kry10, Māori Company of the Year award nomination at NZ Hi-Tech Awards.
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.
Kry10 OS, KOS, Formal Methods, National CyberSecurity.
Interview with Oliver Bloch at The IoT Show Podcast
Kry10 Operating System Release Announcement
Interview with Paul Roberts at The Security Ledger podcast.
Members of the Kry10 Team attended the 2022 seL4 Summit in Munich
Interview with Simon Pound at Business is Boring podcast.
