Developing with Formal Methods at BedRock Systems, Inc.
The BedRock HyperVisor is a commercial, highly concurrent, verified virtualization platform that employs formal methods to enable proofs of complex, lock-free concurrent code; support automating proofs of large programs; and integrate with “informal” parts of the software lifecycle. Learn more about how we develop formal methods here at BedRock Systems.
How To Enhance Zero Trust – ZT
Zero Trust – ZT relies on mutual authentication, verifying the identity and integrity of devices whether they exist inside or outside the network, and providing access to applications and services based on the confidence of device identity and device health in combination with user authentication and authorization. This provides a secure foundation for trusted communications […]
Why Modern Cyber Security and Ransomware Threats Mean It’s Time to Move Beyond Least Privilege to Least Functionality
John Walsh, SVP Business Development and Strategy at BedRock Systems Inc. The SolarWinds cyberattack went undetected for over a year before it was publicized last winter, following in the footsteps of many preceding cyberattacks. Unfortunately, many cyber threats remain undetected for long periods of time – most go undetected for 45-100 days and required another […]
