Indexed metadata
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell
Source record
Source: Crossref
Published: May 1, 2020
DOI: 10.1109/sp40000.2020.00055
Open original source ↗Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.