Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, COSE [pdf] | Not Hacker News!