@misc{indiciae9992741c20b3,
  title = {IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version)},
  author = {Matt Griffin and Brijesh Dongol and Azalea Raad},
  year = {2025},
  url = {https://arxiv.org/abs/2504.16775},
  note = {Source identifier: 2504.16775}
}