An Unbreakable Foundation for Formally Secured Computing

TECHNOLOGY SUMMARY

BedRock Systems has developed a Formal Methods proven Trusted Computing Base that provides a virtualized environment for existing operating systems and applications, which enables the implementation of Active Security (TM) at the CPU level using policies that mitigate many cyber vulnerabilities that are not being adequately addressed today.

AREA/MATURITY/AWARDS

Primary Application Area: AI, Data, Cyber, Software

Technology Development Status: Commercial Product

Technology Readiness Level: TRL 5


National Innovation Awardee

SHOWCASE SUMMARY

Organization Type: Early-stage Startup (Seed)

Website: http://www.bedrocksystems.com


GOVT/EXTERNAL FUNDING SOURCES