Here you will find the latest BedRock news and insights
Videos
BedRock Explained in 90 Seconds
The BedRock Systems mission is to BedRock the world’s critical systems from Edge to Cloud implementing the most secure and Trusted Computing Base
Blog
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...
Securing Critical Automotive Systems
Alexander Damisch, Cofounder and VP Products at BedRock Systems In 2015, the driver of a Jeep Cherokee lost control of the vehicle in the middle...
Effectively Execute on the New Cybersecurity EO with an Active vs. Passive Security Posture
To effectively execute on the cybersecurity EO, organizations will have to shift their approach to security from passive to active.
Time for Critical Industry to BedRock its Infrastructure
Barely a week passes by without worrying news of an attack on the infrastructure we rely so heavily on. Who would have thought that the...
Active Security Needed to Protect Critical Infrastructure
Legacy security has a weak foundation. BedRock Active Security is the fundamental security layer missing in traditional systems.
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 Infrastructure and Applications
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 Selected as 2021 INNOVATORS
BedRock's innovation "Unbreakable Foundation for Formally Secured Computing" participated at MOSAICS Industry day event (San Mateo, CA, Nov 22, 2021) — BedRock Systems, the leading software...
BedRock Systems Announces Multiple Global InfoSec Award Wins at RSA Conference 2021
BedRock Systems announced that it has been named a winner of five Global InfoSec Awards by Cyber Defense Magazine (CDM).
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
A Case for Lightweight Interfaces in Coq
This paper provides an overview of Coq, including three approaches and their advantages and disadvantages.
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
