Cyber-Physical System Security (Spring 2018, Spring 2019, Spring 2020 at the University of Nevada at Reno) (I created this course). The focus of this course is to discuss and understand the fundamental constructions and the emerging challenges unique to today’s cyber-physical systems. On top of these understandings, we will explore the possible solutions from the perspectives of systems specification, system modeling, network programming, and formal verification.
Reliability and Security of Computing Systems (Fall 2018, Fall 2019 at the University of Nevada at Reno) (I redesigned this course). Security in computing systems has gained paramount significance as an increasing amount of sensitive and private data is being stored in computers (embedded or desktop or server). Furthermore, many computing systems need to operate reliably and dependably to meet application requirements. The course elaborates essential reliability and security primitives in computing systems and motivates students for considering security and reliability in the design of computing systems.