TY  - RPRT
TI  - Automated Reasoning for Vulnerability Management by Design
AU  - Avi Shaked
AU  - Nan Messe
PY  - 2025
UR  - https://arxiv.org/abs/2507.05794
ID  - 2507.05794
ER  -