Skip to content
conftrace_

hardware security module

2 papers

Explore in graph

Also known as

HSM

Co-occurring keywords · papers mentioning both

encrypted backup (1) brute-force attack (1) trust decentralization (1) cryptographic protocol (1) side channel (1) refinement verification (1) information-preserving refinement (1) timing side channel (1) functional specification (1) verilog implementation (1)

Papers

Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022 SafetyPin: Encrypted Backups with Human-Memorable Secrets OSDI 2020