@misc{indiciae178794d84ad8,
  title = {Efficient Symbolic Execution of Software under Fault Attacks},
  author = {Yuzhou Fang and Chenyu Zhou and Jingbo Wang and Chao Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2503.15825},
  note = {Source identifier: 2503.15825}
}