Formal

About Formal

Formal is a protocol-aware reverse proxy designed to enhance data security across databases, APIs, and infrastructure. It operates by enforcing security policies at the wire-protocol level, ensuring that access is granted based on the principle of least privilege. This means that every query, identity, and action is evaluated in real time, allowing organizations to maintain tight control over their data access without the need for extensive application changes. Formal supports over 15 wire protocols, including Postgres, MySQL, MongoDB, Snowflake, SSH, and Kubernetes, making it a versatile solu…