Rada Chirkova Contact: chirkova@csc.ncsu.edu Projects Formal Specification and Analysis of Security-Critical Norms and Policies