Formal Protocol Security vs Virtru Data Security Platform (2026)