Skip to content
conftrace_

information-preserving refinement

1 paper

Explore in graph

Also known as

IPR

Co-occurring keywords · papers mentioning both

timing side channel (1) functional specification (1) verilog implementation (1) side channel (1) refinement verification (1) hardware security module (1) formal verification (1)

Papers

Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022