TY  - RPRT
TI  - A Deterministic and Auditable AI Security Risk Assessment Framework with ATLAS Aligned Executable Rules and Formal Verification
AU  - Yixuan Huang
AU  - Basel Halak
AU  - Boojoong Kang
PY  - 2026
UR  - https://arxiv.org/abs/2610.01436
ID  - 2610.01436
ER  -