Spire: Intrusion-Tolerant SCADA for the Power Grid
Yair Amir, Trevor Aron, Amy Babay, and Thomas Tantillo
Latest release January 2023, version 2.0
Spines: Overlay Network Platform
Yair Amir, Claudiu Danilov, John Schultz, Daniel Obenshain, Thomas Tantillo, and Amy Babay
Latest release December 2020, version 5.5
Prime: Intrusion-Tolerant Replication Engine
Yair Amir, Jonathan Kirsch, John Lane, Marco Platania, Amy Babay, and Thomas Tantillo
Latest release December 2020, version 3.3