Spire: Intrusion-Tolerant SCADA for the Power Grid
Yair Amir, Trevor Aron, Amy Babay, Thomas Tantillo, Sahiti Bommareddy, and Maher Khan
Latest release May 2026, version 3.0
Spines: Overlay Network Platform
Yair Amir, Claudiu Danilov, John Schultz, Daniel Obenshain, Thomas Tantillo, and Amy Babay
Latest release March 2025, version 5.7
Prime: Intrusion-Tolerant Replication Engine
Yair Amir, Jonathan Kirsch, John Lane, Marco Platania, Amy Babay, and Thomas Tantillo
Latest release March 2025, version 4.1
Pitt Resilient Systems and Societies Lab Github
Various projects and contributors, 2019-present