1. Generating Certifiably Adversarial Robust Deep Neural Networks with Minimal Prediction Overhead Open Access Author: Anand, Vivek Title: Generating Certifiably Adversarial Robust Deep Neural Networks with Minimal Prediction Overhead Area of Honors: Computer Science Keywords: Machine LearningDeep Neural NetworksAdversarial Machine LearningComputer ScienceTensorflow File: Download Thesis_final.pdf Thesis Supervisors: Daniel Kifer, Thesis SupervisorJohn Joseph Hannan, Thesis Honors Advisor