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

#cryptography #formalmethods