3 citations · 3 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall +2
Leakage contracts have been proposed as a new security abstraction at the instruction set architecture level. Leakage contracts aim to capture the information that processors may l…
cs.CR2023★ 3 cited
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall +2
Leakage contracts have recently been proposed as a new security abstraction at the Instruction Set Architecture (ISA) level. Such contracts aim to faithfully capture the informatio…