Foundational Cryptography in SPARK https://lobste.rs/s/sd75mw #cryptography #formalmethods https://www.adacore.com/blog/foundational-cryptography-in-spark