Formal builds a protocol-aware data security platform designed to secure access to databases, APIs, and infrastructure for modern companies. The platform operates as a reverse proxy, deploying as a single stateless binary within a customer's own virtual private cloud. It can be installed via Terraform, Kubernetes, or Docker and requires no changes to existing applications or the integration of an SDK.
The system functions by parsing over 15 different wire protocols, enabling it to evaluate security policies in real time. Formal states this evaluation process introduces less than ten milliseconds of overhead. The company's technical focus spans data security, network security, and wire protocol parsing, with its platform positioned to serve industries including SaaS and cloud infrastructure.
