Cyral

Cyral acts as a database security proxy with connection management, data masking, and audit logging. It supports multiple database types and cloud environments. In direct comparison, Cyral shares Formal's proxy approach yet offers fewer policy stages, no built-in backtesting, and narrower protocol coverage beyond databases.