Formal Protocol Security vs SISA Radar (2026)