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.
SAN FRANCISCO, CA., September 27, 2022 — BedRock Systems, the leading software company delivering an unbreakable foundation for secure computing from edge to cloud, today announced the addition of Sean Plankey as Chief Architect for Energy and Critical Industries. A veteran of the US Coast Guard and former Department of Energy Executive with extensive cyber […]
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 the addition of Joel Gil to head sales for Energy and Industrial Control Systems markets. A cybersecurity Industrial Control Systems sales veteran, Gil will leverage government and critical infrastructure expertise […]
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 the collaboration with U.S. Army Combat Capabilities Development Command (DEVCOM) Aviation & Missile Center (AvMC) and DESE Research. Headquartered at Redstone Arsenal, Alabama, the U.S. DEVCOM AvMC is the Army’s […]
By John Walsh | SVP Business Development & Strategy I recently joined top thought leaders at the U.S. Department of Energy (DOE) Cybersecurity andTechnology Innovation conference to discuss the future of the integration of informationtechnology (IT) and operational technology (OT) within critical infrastructure, focusing on“Leveraging Innovation to Meet Future Challenges.” A year after the Colonial Pipeline attackdemonstrated the […]
Join BedRock Systems at the US Department of Energy Cybersecurity and Technology Innovation Conference 2022.
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 announced today that it has been named a winner of four Global InfoSec Awards by Cyber Defense Magazine.
BedRock Systems, today announced it has joined the prestigious National Cybersecurity Excellence Partnership ( NCEP ) program.
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 need for interoperability between the legacy and modern OT and IT systems that power our most critical infrastructure has resulted in unprecedented levels of architectural complexity which hinders the ability […]