Skip to content
conftrace_

verilog implementation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

information-preserving refinement (1) timing side channel (1) functional specification (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