TY  - RPRT
TI  - Outsourcing SAT-based Verification Computations in Network Security
AU  - Qi Duan
AU  - Ehab Al-Shaer
PY  - 2025
UR  - https://arxiv.org/abs/2505.16137
ID  - 2505.16137
ER  -