Abstract: This paper addresses the critical need for AI trustworthiness in smart IoT systems by focusing on the stability of Deep Neural Networks (DNNs) in Edge AI. State-of-the-art model checkers ...

Abstract: In recent years, information security has emerged as one of the most critical challenges in the digital era. The misuse of generative artificial intelligence, the rapid mutation of malware, ...