Spines: Overlay Network Platform
Yair Amir, Claudiu Danilov, John Schultz, Daniel Obenshain, Thomas Tantillo, and Amy Babay
Latest release November 2018, version 5.4
Spire: Intrusion-Tolerant SCADA for the Power Grid
Yair Amir, Trevor Aron, Amy Babay, and Thomas Tantillo
Latest release November 2018, version 1.2
Prime: Intrusion-Tolerant Replication Engine
Yair Amir, Jonathan Kirsch, John Lane, Marco Platania, Amy Babay, and Thomas Tantillo
Latest release November 2018, version 3.2