The proposed special session provides a forum for bringing together researchers from academia and industry to explore and present their findings in Artificial Intelligence, cybersecurity issues of IoT, and AmI. The participants are encouraged to discuss the theories, systems, technologies, and approaches for testing and validating them on challenging real-world, safety-critical applications. Thus, suggested topics include, but are not limited to, the following points:

Formal security and resilience analysis on AI.
IoT security, trust, and trustworthy
Secure and privacy-preserving IoT communications
Cognitive models and bio-inspired AI.
AI-assisted critical infrastructure security.
Applied cryptography for IoT and AmI.
Security and privacy of AmI.
Applications of formal methods to IoT and AmI security.
Blockchain for trustworthy AmI-based applications.
IoT and embedded systems security.
Cyber threat intelligence for IoT and AmI.
Privacy-Preserving Machine Learning for IoT.
Federated learning for IoT networks.