Cyber Threat Detection & Attack Attribution

Cyber attack stock photo

Time-predictable hardware platforms

Real-time scheduling algorithms

Android Malware Detection Powered by Formal Analysis and Machine Learning Approaches

Design, Optimization and Verification Technologies

Runtime Security Verification for Mobile Devices

A Threat Operating Model (TOM) for Early Warning of Cybersecurity Threats

Text Detection Importance in Cyber Intelligence

Guided, Stochastic Model-Based GUI Testing of Android Apps