2 papers
cs.CR2025
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
Tahina Ramananandro, Gabriel Ebner, Guido MartÃnez +1
Incorrect handling of security-critical data formats, particularly in low-level languages, are the root cause of many security vulnerabilities. Provably correct parsing and seriali…
cs.SE2025
DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
Nikitha Rao, Elizabeth Gilbert, Harrison Green +4
Differential testing can be an effective way to find bugs in software systems with multiple implementations that conform to the same specification, like compilers, network protocol…