Massive static and real-time datasets for cyber security research and digital competitiveness
Trustworthy Software Systems in Fog and Cloudlet Architectures
Autonomic Security for Cloud Infrastructure
Program Analysis for Mobile Device Security
Enhancing IoT security with Blockchain Technology
Automated Planning for Cyber Mission Assurance
Trustworthy Software Systems - Formal Analysis Tools Development
Autonomic Computing for Resilient Cyber Operations in Contested Environments
Secure and Big Data Analytics Platforms
Enhancing Data Security in IoT