@misc{indiciaeef1498c43f8f,
  title = {A Deterministic and Auditable AI Security Risk Assessment Framework with ATLAS Aligned Executable Rules and Formal Verification},
  author = {Yixuan Huang and Basel Halak and Boojoong Kang},
  year = {2026},
  url = {https://arxiv.org/abs/2610.01436},
  note = {Source identifier: 2610.01436}
}