Resources

Welcome to our resource center

Here you will find the latest BedRock news and insights

Videos

How Do You Win A Game of Chess Against A Grand Master?
On March 17th BedRock SVP of Business Development and Strategy, John Walsh sat down with Dots and Bridges CEO and Founder, Pete Tseronis for IoT Smart Infrastructure...
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

Dissecting Critical Infrastructure Risks: The Double-Edged Sword Of Interoperability
https://bedrocksystems.com/wp-content/uploads/bedrock-webinar-distilling-critical-infrastructure.mp4 In “Dissecting Critical Infrastructure Risks: The Double-Edged Sword of Interoperability”, an expert panel of cyber security and critical infrastructure professionals discuss how the growing...
Why Least Functionality Must be a Core Tenet of Zero Trust Architectures
In the last year and a half, business models have shifted significantly as remote work and cloud migration have changed the security landscape. Identity and...
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 Appoints Josh Dobies to Lead Product Management and Marketing
SAN MATEO, CA., January 12, 2022 -- BedRock Systems, the leading software company delivering an unbreakable foundation for secured computing from edge to cloud, today...
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 Adds Cybersecurity Expertise and Management Experience to Team
John Walsh and Efi Gatmor join BedRock Systems in key management roles with Cybersecurity Expertise and Management Experience SAN MATEO, Calif.--(BUSINESS WIRE)--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

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...
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
A Foundation for Cyber Resilience & Zero Trust