This research is a collaborative effort towards a certifiable, scalable, and attack-resilient control framework for Smart Grid stability. There are four research thrusts: (a) Maintaining voltage stability, (b) Certifiable online algorithms for small-signal stability, (c) Certifiable controlled islanding for transient stability, and (d) Testbed validation and prototyping. The goal is to have reliable and sustainable operation of the future Smart Grid.