Kevin Jin Contact: dongjin@uark.edu Projects Automated Synthesis Framework For Network Security and Resilience