TY  - RPRT
TI  - Numeric Truncation Security Predicate
AU  - Timofey Mezhuev
AU  - Ilay Kobrin
AU  - Alexey Vishnyakov
AU  - Daniil Kuts
PY  - 2024
DO  - 10.1109/ispras60948.2023.10508174
UR  - https://arxiv.org/abs/2312.06425
ID  - 2312.06425
ER  -