Jon Doyle Contact: Campus Box 8206 Raleigh, North Carolina 276958206 jon_doyle@ncsu.edu Projects Formal Specification and Analysis of Security-Critical Norms and Policies Understanding Effects of Norms and Policies on the Robustness, Liveness, and Resilience of Systems