April 2017 Posted on May 30, 2017March 8, 2018 by dcsl in News Posts, Uncategorized Saurabh moderates a panel discussion at the CERIAS Annual Security Symposium on the topic of “Security Through Formal Methods and Secure Architecture” (April 18, 2017). [ Video ] [ Opening remarks ]