Formal
Formal是一個統一的數據與基礎設施安全存取平台，支援多種數據庫，協助企業解決數據安全、合規和基礎設施存取等問題。
Backbone
Backbone 是全球首款供應鏈網絡軟體，提供互聯世界的供應鏈解決方案。
Dispel
Dispel 應用提供安全的遠端訪問工業控制系統，並包含身份管理、記錄、一次性系統和存取控制等功能。
Lumos
Lumos是一個SaaS管理平台，提供身份治理、自動化訪問請求、權限控制及費用管理，簡化IT操作並加強安全性。
Akeyless
Akeyless是一個基於雲的秘密管理平台，旨在保護和管理企業的敏感信息，包括憑證和鑰匙。
miniOrange
miniOrange 提供身份和訪問管理解決方案，包括單一登入、多因素身份驗證和用戶同步，簡化應用程式的身份驗證過程。
Trustle
Trustle幫助前線團隊管理權限，簡化開發者和運營團隊對AWS等雲系統的訪問，提高環境的安全性。
Adaptive
Adaptive是一個數據安全平台，幫助組織管理數據存取、監控數據庫活動及保護敏感數據，且提供自動數據分類與異常檢測功能。
1Fort
1Fort幫助中型企業簡化網絡保險投保過程，保險經紀人可更快速報價，企業可自動化大部分安全要求工作。
