TY  - RPRT
TI  - Symbolic Security Predicates: Hunt Program Weaknesses
AU  - Alexey Vishnyakov
AU  - Vlada Logunova
AU  - Eli Kobrin
AU  - Daniil Kuts
AU  - Darya Parygina
AU  - Andrey Fedotov
PY  - 2022
DO  - 10.1109/ispras53967.2021.00016
UR  - https://arxiv.org/abs/2111.05770
ID  - 2111.05770
ER  -