Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE

Re-assign community