BedRock Systems Sweeps 2023 RSA Conference with 10 Coveted Global InfoSec Awards for their Unbreakable Approach to Cybersecurity

BedRock Systems Sweeps 2023 RSA Conference with 10 Coveted Global InfoSec Awards for their Unbreakable Approach to Cybersecurity BedRock Systems Recognized as a Leader across 10 Categories, Including Most Innovative Cutting Edge Cybersecurity Startup During 11th Annual Global InfoSec Awards at RSA Conference 2023. SAN FRANCISCO, CA| APRIL 25, 2023 – BedRock Systems, the leading […]

Developing with Formal Methods at BedRock Systems, Inc.

formal methods

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.

BedRock Systems Inc. Announces Appointment of Joel Gil to Lead Critical Infrastructure Cybersecurity Sales

Joel Gil

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 […]

BedRock Systems and U.S. Army to Demonstrate Trusted Computing Base Integration Framework

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 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 […]

Four Takeaways from The DOE Cybersecurity and Technology Innovation Conference

By John Walsh | SVP Business Development & Strategy I recently joined top thought leaders at the U.S. Department of Energy (DOE) Cybersecurity and Technology Innovation conference to discuss the future of the integration of information technology (IT) and operational technology (OT) within critical infrastructure, focusing on “Leveraging Innovation to Meet Future Challenges.” A year after the Colonial […]