3 ms·Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, COSE [pdf]2 points by matt_d 1y ago