rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 5,896

  1. …in reply to @ciphernyx
    @ciphernyx @halvarflake I'd love to collaborate! We are currently planning to work on a small-ish but practical/useful firmware implementation in Rust, but with the intention towards formal verification of as many pieces as possible. Integration with HW security measures is in scope.
    On twitter.com Twitter logo rene_mobile’s avatar ❤️ 2 Favorites Mood +5 🙂