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

Tahina Ramananandro, Gabriel Ebner, Guido Martnez, Nikhil Swamy

Browse the full CCS paper archive.