@misc{indiciaece95c932fbbb,
  title = {A Scalable Formal Verification Methodology for Data-Oblivious Hardware},
  author = {Lucas Deutschmann and Johannes Mueller and Mohammad Rahmani Fadiheh and Dominik Stoffel and Wolfgang Kunz},
  year = {2024},
  doi = {10.1109/tcad.2024.3374249},
  url = {https://arxiv.org/abs/2308.07757},
  note = {Source identifier: 2308.07757}
}