A
Research Interests
Formal Methods Analysis
High Assurance System Verification
Network Virtualization
Security Modeling of Systems
Security and Verification in Computing
Network Security and Intrusion Detection
Advanced Malware Detection Techniques
Information and Cyber Security
Software-Defined Networks and 5G