Here you will find the latest BedRock news and insights
Videos
BedRock Explained in 90 Seconds
Blog
Formal Methods Address the Deficiencies Of the Traditional Development Processes
Traditionally, software design relies on inefficient, ineffective, informal techniques to ensure that the software operates as intended. Consequently, bugs slip through the quality assurance process...
Not All Hypervisors are Created Equally
BedRock HyperVisor™ or BHV™ is built with leading edge materials: a formally verified trusted computing base with a precise specification, so confidential data is protected...
Build a Trusted Computing Base for Your Business Applications
New design ensures that company data is safe and applications perform as expected. By Osman Ismael Merriman-Webster defines trust as “one in which confidence is...
Now is the Time to BedRock Your Critical Applications and Infrastructure
A formally verified, secure Trusted Computing Base (TCB) and BedRock Active SecurityTM with real time introspection for continuous monitoring protects mission critical environments and data....
Build Applications on BedRock and Not Sand
BedRock Systems Inc. delivers an unbreakable foundation for formally secured computing. No one would build a skyscraper on a pile of sand, yet most corporations...
How to BedRock™ Your System
A nation's infrastructure is worth protecting. There are 16 critical infrastructure sectors whose assets, systems, and networks, whether physical or virtual, are considered so vital...
An Introduction to Virtual Machine Introspection
Virtual machine introspection (VMI) is a term coined by Garfinkel and Rosenblum in 2003 in their paper “A Virtual Machine Introspection Based Architecture for Intrusion...
Press Releases
BedRock Systems Announces the Launch of its Unbreakable Foundation for Formally Secured Computing
The new products, BedRock HyperVisor™ and BedRock Active Security™, are a foundational shift in computing and usher in a new era of safety and security...
White Papers
BedRock Founders Perspective
The BedRock Approach to Trustworthy Systems
How to BedRock Your Traditional and Distributed Energy Resources
Formal Methods Defined from an Academic POV
Trusted Computing Base Edge to Cloud for Government
