Matthew Fredrikson Contact: mfredrik@cmu.edu Projects Securing Safety-Critical Machine Learning Algorithms