Security startup Formal has emerged from stealth mode with a reverse-proxy solution for securing access to sensitive data.Formal's reverse-proxy is deployed in the virtual private cloud (VPC) to log and enforce access policies for data stores and APIs.Founder Mokhtar Bacha, a former software engineer at ConsenSys, pivoted his startup idea to create Formal.Formal raised $5.8 million in a seed round led by Thrive Capital and has notable customers including Gusto, Notion, and Ramp.