A blueprint for formal verification of Apple corecrypto (via typesanitizer) — discussion
#cryptography #formalmethods
