TY  - RPRT
TI  - A Scalable Formal Verification Methodology for Data-Oblivious Hardware
AU  - Lucas Deutschmann
AU  - Johannes Mueller
AU  - Mohammad Rahmani Fadiheh
AU  - Dominik Stoffel
AU  - Wolfgang Kunz
PY  - 2024
DO  - 10.1109/tcad.2024.3374249
UR  - https://arxiv.org/abs/2308.07757
ID  - 2308.07757
ER  -