Apple has open-sourced corecrypto, the foundational cryptographic library in Apple operating systems
https://security.apple.com/blog/formal-verification-corecrypto/
Replies:
3
Boosts:
8
@campuscodi "Open-source*" but not FOSS
@campuscodi Formal verification at the primitive layer is what makes this load-bearing — open-sourcing the spec is one thing, having the proof tooling alongside is the assurance ladder.
@campuscodi you mean free labor?
