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.
Design and verification of the arm confidential compute architecture
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
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.