@misc{indiciae160ab179c1a6,
  title = {Numeric Truncation Security Predicate},
  author = {Timofey Mezhuev and Ilay Kobrin and Alexey Vishnyakov and Daniil Kuts},
  year = {2024},
  doi = {10.1109/ispras60948.2023.10508174},
  url = {https://arxiv.org/abs/2312.06425},
  note = {Source identifier: 2312.06425}
}