**Hardware-software leakage contracts** are a formalism for specifying the side-channel security guarantees that a modern processor provides to software. They are intended to define what information a processor implementation is allowed to leak through microarchitectural behavior, thereby giving a basis for checking whether hardware conforms to an expected security contract.[^e1]

No graph connections found for this entity yet. It may appear in future ingestion runs.