Formal
YC S20San Francisco, US · Founded 2022 · 10 employees · 3 known investors
Formal provides a proxy-based access control platform that enforces least privilege authentication and authorization across data infrastructure protocols including databases, APIs, and AI agents. The company serves security and infrastructure teams seeking to control access at the query level across multiple protocols.
Also known as Maytana · MetaBank · Shipl
Cloud ComputingCybersecurityData & InfrastructureEnterprise SoftwareUnited States of AmericaAmerica / CanadaFully Remote
Founders & leadership· Y Combinator alumni (S20)
Formal was founded in 2022 by Mokhtar Bacha.
MB
Mokhtar BachainFounder and CEOMokhtar Bacha joined ConsenSys at age 17, where he developed expertise in cryptography, consensus algorithms, and distributed systems. He founded Formal in 2022 to provide data security services.
Investors · 3
In the news
Frequently asked questions
- What does Formal do?
- Formal provides a proxy-based access control platform that enforces least privilege authentication and authorization across data infrastructure protocols including databases, APIs, and AI agents. The company serves security and infrastructure teams seeking to control access at the query level across multiple protocols.
- Who founded Formal?
- Formal was founded by Mokhtar Bacha in 2022.
- Who are Formal's investors?
- Formal's investors include Abstract Ventures, Y Combinator, Thrive Capital.
- Where is Formal headquartered?
- Formal is headquartered in San Francisco, US.