TY - RPRT TI - Symbolic Attack Chain Generation from Atomic Red Team Techniques: An Empirical Study of Predicate Representation Granularity AU - Ramya Varunsegar PY - 2026 UR - https://arxiv.org/abs/2608.00143 ID - 2608.00143 ER -