@misc{indiciae107528d51ab9,
  title = {Symbolic Security Predicates: Hunt Program Weaknesses},
  author = {Alexey Vishnyakov and Vlada Logunova and Eli Kobrin and Daniil Kuts and Darya Parygina and Andrey Fedotov},
  year = {2022},
  doi = {10.1109/ispras53967.2021.00016},
  url = {https://arxiv.org/abs/2111.05770},
  note = {Source identifier: 2111.05770}
}