Formal

Least-privilege access for AI agents and humans. Keep credentials out of reach, enforce granular policies, and audit every action.

[Formal @joinFormal]

Meet @FormalIntel: our new home for cybersecurity news, emerging threats, and analysis of AI security.

Follow along:

[Formal Intel @FormalIntel]

Introducing Formal Intel.

Cybersecurity news, emerging threats, and analysis of how AI is changing security.

We're powered by @joinformal, which enforces fine-grained access controls at the network layer so AI agents can scale with sensitive systems without excessive permissions.

Least privilege for a world of agents.

[Formal Intel @FormalIntel]

@joinformal Scaling AI agents? Your security needs to scale just as fast.

Book a demo: https://t.co/ZuYFf4xFh9

[Formal @joinFormal]

@FormalIntel Give @FormalIntel a follow. Lots more to come.

[Formal Intel @FormalIntel]

Introducing Formal Intel.

Cybersecurity news, emerging threats, and analysis of how AI is changing security.

We're powered by @joinformal, which enforces fine-grained access controls at the network layer so AI agents can scale with sensitive systems without excessive permissions.

Least privilege for a world of agents.

[Formal @joinFormal]

NEW: UI editor for permissions!

We released an abstraction layered on top of real code (Rego). It understands the grammar of the policy language and ties each visual element directly back to the correct spot in the source text.

[Mokhtar Bacha @AHMB84]

I'm a product-obsessed founder. Crafting a delightful product experience is my north star.
Few companies embody that level of craft like @NotionHQ — and today I'm incredibly proud to share with the world our latest case study.
@NotionHQ now secures 100s of datastores with Formal.
I’m deeply grateful to the Notion security team for betting on us when we were still an early-stage company. We’ve learned so much along the way, and working with them has truly made our product better.
@joinformal ❤️ @NotionHQ

[Formal @joinFormal]

New Case Study: How Notion Secures Hundreds of Datastores with Formal
We're excited to share how Notion - one of the world’s fastest-growing collaborative workspaces - partnered with Formal to re-architect data security at scale.

https://t.co/0iQsRKWRuX

[Formal @joinFormal]

NEW: Query Suggestions

Given a natural language search request, Formal provides a suggested query to filter logs, making Formal's already user-friendly interface even more accessible.

It’s another way to make searching logs easier.

[Formal @joinFormal]

It was an honor to sponsor Girl Dinner!

[Emma Steuer 🧚🤖 @emmasteuer1]

X GIRL DINNER WAS SUCCESS

[Formal @joinFormal]

🤝

[BSidesSF @BSidesSF]

Thank you to @JoinFormal for being a Silver sponsor at BSidesSF 2025!

https://t.co/fR0GY1hrg7

#bsidessf #BSidesSF2025 #infosec