It's official! #TockWorld8 will be hosted at Microsoft in Redmond, WA, just a stone's throw from @rustconf on September 5th. Join us for a schedule on #TockOS in new places, #Rust verification, low-level LLVM hackery, and more!

https://world.tockos.org/tockworld8/register

#Microsoft gibt mehr Details zu seinem #Pluton #Prozessor bekannt.

#TockOS #Rust #TPM #SoC
https://techcommunity.microsoft.com/blog/windows-itpro-blog/understanding-the-microsoft-pluton-security-processor/4370413

"An integer overflow caused $370M to vaporize in 40 seconds."

When a rocket exploded in flight because of two simultaneous integer overflow in independently written systems.

Luckily the industry has learned from this, right? Not really, with some Boeing planes having to be rebooted every 51 days to prevent catastrophically wrong information being shown to pilots.

This is Samir's talk on Tock OS, or how to secure firmware at compile time.

#OSFC #OSFC2024 #TockOS #RustLang

Oh, there are now #FIDO security keys based on #Google's #OpenSK firmware for #Titan based on #TockOS (both in #Rust), available for purchase:
https://shop.ftsafe.us/products/opensk-v2

Do note that these do *not* feature a secure element and are not resistant to more advanced physical attacks or side channels, although still probably an upgrade to disk storage as long as you keep the key safe:
https://feitiantech.github.io/OpenSK_USB/caution/

Nevertheless, an interesting toy!

#Jazda is making #upstreaming progress. It's now a supported board in #TockOS ! Very bare bones, but I'm working on adding drivers.

https://github.com/tock/tock/pull/3182

#FIDO 2FA security keys generated by #RustLang and #TockOS on Nordic #nRF52840... Supported by Google! Hope to see TockOS on #PineTime someday...

https://security.googleblog.com/2020/01/say-hello-to-opensk-fully-open-source.html