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