Announcing KataOS and Sparrow

The latest news from Google on open source releases, major projects, events, and student outreach programs. As we find ourselves increasingly surrounded by smart devices that collect and process information from their environment, it's more important now than ever that we have a simple solution to build verifiably secure systems for embedded hardware. If the devices around us can't be mathematical

[efcl]

証明とRustの実装

[tetsutalow]

IoTセキュリティは結局、主要部分は形式仕様記述で書いて数学的な安全性証明をつけて、それでもダメな部分をRustのような言語で書くという方向だろうと思う。Googleがその王道にドンピシャ乗せてきた。