Resources

Blog

Blog

John Walsh
Securing the Edge: Zero Trust & Least Functionality
BedRock Systems’ formally proven trusted virtualization with Active Security™ has demonstrated Least Functionality as a method to prevent proliferating attack vectors and TTPs that others...
John Walsh
Least Functionality: How BedRock Secures Critical Infrastructure Against Current and Future Cyber-Physical threats
With cyber physical threats organizations are embracing least functionality and architectures that are intelligently execute only the tasks necessary to perform a specific function.
BedRock Systems
Four Takeaways from The DOE Cybersecurity and Technology Innovation Conference
By John Walsh | SVP Business Development & StrategyI recently joined top thought leaders at the U.S. Department of Energy (DOE) Cybersecurity andTechnology Innovation conference to discuss the...
BedRock Systems
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...
Erika Roberge
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...
Meaghan McGrath
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.
Zac Smit
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...
Zac Smit
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...
Zac Smit
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...
Zac Smit
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...
Zac Smit
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....
Zac Smit
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...
Zac Smit
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...
Zac Smit
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 Inc. Appoints Sean Plankey as Chief Architect for Energy and Critical Industries
SAN FRANCISCO, CA., September 27, 2022 — BedRock Systems, the leading software company delivering an unbreakable foundation for secure computing from edge to cloud, today...
BedRock Systems Inc. Announces Appointment of Joel Gil to Lead Critical Infrastructure Cybersecurity Sales
SAN FRANCISCO, CA., September 26, 2022 — BedRock Systems, the leading software company delivering an unbreakable foundation for secured computing from edge to cloud, announced...
BedRock Systems and U.S. Army to Demonstrate Trusted Computing Base Integration Framework
San Francisco, CA, July 13, 2022 — BedRock Systems, the leading software company delivering an unbreakable foundation for secured computing from edge to cloud, today announced...
BedRock Systems’ John Walsh Named as Panelist at DOE Conference
VP ofBusiness Development & Strategy, John Walsh, has been invited to participate as a panelist at the DOE Cybersecurity and Technology Innovation Conference 2022.
BedRock Systems Wins Multiple Global InfoSec Awards at RSA Conference 2022
BedRock Systems announced today that it has been named a winner of four Global InfoSec Awards by Cyber Defense Magazine.
BedRock Systems Joins National Cybersecurity Excellence Partnership (NCEP) Program
BedRock Systems, today announced it has joined the prestigious National Cybersecurity Excellence Partnership ( NCEP ) program.
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...

EVENTS

Bedrock System’s John Walsh Announced as Panelist at The DOE Cybersecurity and Technology Innovation Conference
ABOUT THE CONFERENCE The DOE Cybersecurity and Technology Innovation Conference is an annual capstone event designed to strengthen relationships, expand upon cybersecurity and innovation strategies...

White Papers

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...
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
A nation's infrastructure is worth protecting, learn how to add BedRock Solutions to your traditional and distributed energy resources. Also, review various approaches to BedRocking...
Formal Methods Defined from an Academic POV
Trusted Computing Base Edge to Cloud for Government
A Foundation for Cyber Resilience & Zero Trust

Videos

Unbreakable & Secure Virtualization at the Compute Edge
John Delves into emerging technologies and methods at the edge of computing which can help organization achieve ubiquitous and secure connectivity.
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...
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