Formal was founded by Mokhtar Bacha in 2022.

Who are Formal's investors?

Formal's investors include Abstract Ventures, Y Combinator, Thrive Capital, ConsenSys Mesh.

Where is Formal headquartered?

Formal is headquartered in San Francisco, US.

Formal

YC S20

San Francisco, US · Founded 2022 · 10 employees · 4 known investors

Find your way into Formal

Paths you didn't know you had: your email and LinkedIn already hold routes to the Formal team. We find them for you
2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone

Days of research, done the moment you sign in, with every route ranked by how warm it is.

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 Shipl Inc. · Maytana · MetaBank · Shipl · Shipl, MetaBank, Maytana

Cloud Computing Cybersecurity Data & Infrastructure Enterprise SoftwareUnited States of AmericaAmerica / CanadaFully Remote

Founders & leadership· Y Combinator alumni (S20)

Formal was founded in 2022 by Mokhtar Bacha.

Mokhtar Bacha Founder 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.

Loris WintjensLead Ops

Victor VieuxHead of Engineeringformer

Investors · 4

Abstract Ventures✓ confirmed by FormalSan Francisco · $250K – $750K

How we know: Abstract Ventures's portfolio page · the company's own site · open dataset · 5k.vc investor directory · Not right? Tell us

Y Combinator✓ confirmed by FormalSan Francisco · $500K

How we know: the company's own site · the Y Combinator directory · open dataset · 5k.vc investor directory · Not right? Tell us

Thrive Capital✓ confirmed by FormalNew York · $500K – $25M

How we know: the company's own site · Not right? Tell us

ConsenSys MeshreportedZug

How we know: Y Combinator's founder network · Not right? Tell us

Related companies · 4

Salt SecuritySalt Security provides an AI-infused platform for protecting APIs and applications from security threats across discovery, posture management, and runtime protection. The company serves businesses of all sizes seeking to secure their API infrastructure against attackers.

FuzzbuzzFuzzbuzz provides automated fuzzing testing delivered as a cloud service for software developers seeking to identify vulnerabilities and edge cases in their applications.

Sublime Black

TRM LabsTRM Labs offers an online certification course on blockchain investigations and crypto forensics for professionals who need to trace cryptocurrency transactions across multiple blockchains. The course covers cryptocurrency essentials, financial crime risks, on-chain investigation techniques, and crypto compliance using TRM Labs' forensics tools.

Companies working in the same space as Formal.

Legal entities · 1

corporate structure

Shipl Inc.

In the news

YC-backed Formal brings a clever security reverse-proxy out of stealth | TechCrunchtechcrunch.com · Nov 2024

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, ConsenSys Mesh.
Where is Formal headquartered?: Formal is headquartered in San Francisco, US.