TY  - RPRT
TI  - Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
AU  - Tahina Ramananandro
AU  - Gabriel Ebner
AU  - Guido Martínez
AU  - Nikhil Swamy
PY  - 2025
UR  - https://arxiv.org/abs/2505.17335
ID  - 2505.17335
ER  -