Skip to content
conftrace_

refinement verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022