The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
The work
| Authors | Zilong Wang; Gideon Mohr; Klaus v. Gleissenthall; Jan Reineke; Marco Guarnieri |
|---|---|
| Editors | |
| Type | misc |
| Year | 2023 |
| Citekey | wang2023specification |
Where it appeared
| Published in | ACM SIGSAC Conference on Computer and Communications Security (CCS) |
|---|---|
| Pages | 2128--2142 |
Identifiers
| DOI | 10.1145/3576915.3623192 |
|---|---|
| OpenAlex | W4388858498 |
Access
| Landing page | https://doi.org/10.1145/3576915.3623192 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/3576915.3623192 |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Leakage contracts have recently been proposed as a new security abstraction at the Instruction Set Architecture (ISA) level. Leakage contracts aim to capture the information that processors leak through their microarchitectural implementations. However, so far, we lack a methodology to verify that a processor actually satisfies a given leakage contract.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 01:11 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{wang2023specification,
title = {Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts},
author = {Zilong Wang and Gideon Mohr and Klaus v. Gleissenthall and Jan Reineke and Marco Guarnieri},
year = {2023},
journal = {ACM SIGSAC Conference on Computer and Communications Security (CCS)},
pages = {2128--2142},
doi = {10.1145/3576915.3623192},
}
This record lives at https://refs.drheap.org/wang2023specification/ and will keep doing so.