TrustInSoft
Formal methods and mathematical verification for C/C++ code security.
Other 2014 ISB Companies
Insider threat detection using behavior analytics on employee communications and activity.
Raised $35.8M
AI/ML-based endpoint protection that prevents malware pre-execution using mathematical models.
Raised $297M
Active Directory security and identity attack detection.
Raised $11M
AI-driven network detection and response (NDR) for real-time cyberattack identification.
User and entity behavior analytics (UEBA) for insider threat detection.
Digital rights management (DRM) and file-level encryption for enterprise documents.
Threat detection through network behavior analysis of pre-breach activity.
Security for IoT devices and embedded systems using secure elements.
Cloud access security broker (CASB) and cloud DLP.
Raised $150M