Sockeye is a DSL and tooling that converts hardware reference manuals into machine-readable specs for formally proving memory confidentiality and integrity properties or discovering documentation errors and vulnerabilities across platforms.
Cbmc–c bounded model checker: (competition contribution)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
LLMs can generate natural language specs and perform compositional verification to help prevent vulnerable code from being produced by AI models.
citing papers explorer
-
Sockeye: a language for analyzing hardware documentation
Sockeye is a DSL and tooling that converts hardware reference manuals into machine-readable specs for formally proving memory confidentiality and integrity properties or discovering documentation errors and vulnerabilities across platforms.
-
Natural Language based Specification and Verification
LLMs can generate natural language specs and perform compositional verification to help prevent vulnerable code from being produced by AI models.