Galois Wraps Hackathon for ARPA-H Project on Hospital Cybersecurity

Galois recently wrapped a successful hackathon for the ARPA-H UPGRADE program with nine other interdisciplinary teams. The event focused on cross-team integrations and solving cybersecurity challenge problems inspired by real-world hospital environments, marking an important step toward UPGRADE’s goal: delivering a whole-hospital solution that enables automated vulnerability discovery, mitigation, and synthesis across complex networks.

This effort aims to address a growing crisis in healthcare cybersecurity: Today’s hospitals depend on vast networks of interconnected devices – from infusion pumps and imaging systems to patient monitors and printers. As these networks grow, each new device added expands the attack surface and adds complexity, making them increasingly difficult to understand and secure. 

Our Safe-Dev project under the UPGRADE program combines automated network modeling, formal verification, verified AI analysis, and hardware-based microsegmentation to help hospital IT teams understand their systems, simulate and verify security fixes before deployment, and implement changes without disrupting patient care. The hackathon offered an early look at how these technologies and approaches can work together to make hospital networks safer and more resilient. 

To learn more about the UPGRADE project and our approach to securing hospital infrastructure, visit our new webpage here: galois.com/upgrade.