Yanhong Annie Liu and Scott Stoller, professors in the Department of Computer Science at Stony Brook University, have been awarded a 4-year $1 million grant from the National Science Foundation for their research project “Configuration for Assurance: Safe, Live, and Secure Distributed Systems.”