Skip to content
conftrace_

side channel

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

refinement verification (1) information-preserving refinement (1) timing side channel (1) functional specification (1) verilog implementation (1) hardware security module (1) generative adversarial network (1) variational autoencoder (1) convolutional neural network (1) formal verification (1)

Papers

Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022 Private Image Reconstruction from System Side Channels Using Generative Models ICLR 2021