@misc{indiciae943a5aaf52cb,
  title = {Isadora: Automated Information Flow Property Generation for Hardware Designs},
  author = {Calvin Deutschbein and Andres Meza and Francesco Restuccia and Ryan Kastner and Cynthia Sturton},
  year = {2021},
  doi = {10.1145/3474376.3487286},
  url = {https://arxiv.org/abs/2106.07449},
  note = {Source identifier: 2106.07449}
}