Mastodon Feed
Boosted by glyph ("Glyph"):
campuscodi ("Catalin Cimpanu") wrote:
Apple has open-sourced corecrypto, the foundational cryptographic library in Apple operating systems
https://security.apple.com/blog/formal-verification-corecrypto/
Mastodon Feed