Closing Security Gaps for CRA Compliance | Finite State Security Shorts