@misc{indiciae5bef91eff1fd,
  title = {RTL2M\$μ\$PATH: Multi-\$μ\$PATH Synthesis with Applications to Hardware Security Verification},
  author = {Yao Hsiao and Nikos Nikoleris and Artem Khyzha and Dominic P. Mulligan and Gustavo Petri and Christopher W. Fletcher and Caroline Trippel},
  year = {2024},
  url = {https://arxiv.org/abs/2409.19478},
  note = {Source identifier: 2409.19478}
}