Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy
2025 Computer and Communications Security | October 2025
Guido Martínez
Research Software Engineer II
Publications
-
-
-
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
2025 Programming Language Design and Implementation | June 2025
Accepted for publication, to appear
-
-
-
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy
2025 Computer and Communications Security | October 2025
-
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
2025 Programming Language Design and Implementation | June 2025
Accepted for publication, to appear
-
-
-
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy
2025 Computer and Communications Security | October 2025
-
-
-
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy
2025 Computer and Communications Security | October 2025
-
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
2025 Programming Language Design and Implementation | June 2025
Accepted for publication, to appear
-