Formal

Formal

数据安全软件产品

San Francisco,California 552 位关注者

Take control of your data in real-time.

关于我们

Formal secures the modern data stack.

网站
https://joinformal.com
所属行业
数据安全软件产品
规模
11-50 人
总部
San Francisco,California
类型
私人持股

地点

  • 主要

    374 Brannan St

    US,California,San Francisco,94107

    获取路线
  • 212, Rue Saint-Maur

    FR,?le-de-France,Paris,75010

    获取路线

Formal员工

动态

  • Formal转发了

    查看Victor Vieux的档案,图片

    Engineering @ Formal ? Specializes in Software Architecture & Backend Development ? Ex. Cruise and Docker

    ?????????? ???????? ???? Maya Kaczorowski ???? ?????????????? ???? ??????????????! Key takeaways from the discussion: ?? ???????????? ???????????????????? is the top challenge faced by over 50+ security leaders I’ve spoken with recently. ??? While some are attempting to build solutions in-house, as one expert put it: “???????????? ??????’???? ?? ?????????? ???????? ???????? ?? ?????? ???? ??????????, ?? ??????'?? ???????? ?????? ???????? ???? ????????????...” That’s where Formal comes in – we’re here to help tackle this challenge! Learn more at https://joinformal.com

    • 该图片无替代文字
    • 该图片无替代文字
  • 查看Formal的公司主页,图片

    552 位关注者

    James Berthoty Thanks so much for including joinformal.com on Latio Tech. It's a great list!

    查看James Berthoty的档案,图片

    Security Engineer Turned Industry Analyst @ Latio Tech | AWS Community Builder

    Going full time with Latio Tech it took a minute to get the time to push the latest update to https://list.latio.tech, but that doesn't mean we weren't meeting non-stop with people! Below are the changes in update 1.15, and it's a big one: 1. Added Formal to boundary breakers - an amazingly innovative approach to data access and security with a reverse proxy 2. Added HoundDog.ai to boundary breakers - a code scanning niche that hasn't gotten covered yet, sensitive data getting logged or flowing where it shouldn't go 3. Changed RASP to ADR, added Oligo Security and Miggo Security 4. Added 42Crunch to API Security - Neat combination of API scanning functionalities built around OpenAPI specs 5. Added Mindgard to LLMs - a unique testing kit of LLM attacks 6. Added FireTail.io to API Security - API discovery and protection via network and SDK 7. Added Noname Security to API Security - A network engineer's approach to API security 8. Cleaned up Boundary Breakers, moving AI based tools into "Code Fixers" 9. Added Mimic to Boundary Breakers - deception based last line of defense ransomware protection 10. Added Andromeda Security to Cloud Identity - a more holistic attempt at least privileged access 11. Added Stream.Security to CDR - Agentless CDR focused on integrating with providers and enriching attack path contextual data 12. Added Seezo.io to code fixers - turning design docs into security requirements 13. Added Endor Labs to container vulnerability scanning 14. Updated Chainguard description 15. Added NetRise and ReversingLabs to SCA 16. Added Contrast Security to SCA and SAST since they do that via the instrumentation 17. Fixed Sweet, Rad, and Sternum not being in container runtime category 18. Added Procyon to cloud identity - JIT access 19. Added Zafran Security to Remediation Platforms 20. Added Cyclops Security to Remediation Platforms 21. Added CheckRed to CSPM - CSPM with some neat SaaS rules 22. Added Tenable Cloud to CNAPP - Ermetic with a rebrand

    • 该图片无替代文字

相似主页