MixTrain: Scalable Training of Formally Robust Neural Networks.
Extending Defensive Distillation