April 2017 Posted on May 30, 2017December 29, 2024 by dcsl in News Posts 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 ]