@misc{indiciae006be5914172,
  title = {HAL -- An Open-Source Framework for Gate-Level Netlist Analysis},
  author = {Julian Speith and Jörn Langheinrich and Marc Fyrbiak and Max Hoffmann and Sebastian Wallat and Simon Klix and Nils Albartus and René Walendy and Steffen Becker and Christof Paar},
  year = {2025},
  url = {https://arxiv.org/abs/2512.14139},
  note = {Source identifier: 2512.14139}
}