1. Announcing four candidates to be standardized, plus fourth round candidates: CSRC. https://csrc.nist.gov/News/2022/pqc-candidates-to-be-standardized-and-round-4. NIST Accessed 07 Sept 2022
2. Control Bits Verification. https://github.com/linesthatinterlace/verif-cb. Wrenna Robson Accessed 12 Sept 2022
3. Cryptography in Lean 4. https://github.com/joehendrix/lean-crypto. Joe Hendrix Accessed 7 Sept 2022
4. Cryptol-Specs. https://github.com/GaloisInc/cryptol-specs. Galois Incorporated Accessed 7 Jan 2022
5. Post-quantum cryptography: CSRC. https://csrc.nist.gov/projects/post-quantum-cryptography. NIST Accessed 18 Jan 2022