Research Interest
PLC (Programmable Logic Controller) Security
Smart Building/Smart Home/ Internet of Things (IoT) Security
Formal Methods/ Satisfiable Module Theory for Cyber Security
Data Provenance in Security
Network/ Software Defined Network (SDN) Security
Network Design and Modeling
Network Resiliency and Robustness
Defeasible Reasoning
Cost Optimization in Deploying Security Mechanism