In relation to the thread about verification of code, I should mention the collection of tools and other stuff I've been curating in the wake of the two (so far) HACS (High Assurance Cryptographic Software) workshops. https://github.com/HACS-workshop/links PRs welcome!