Securing the Internet of Intelligent of Things (INTRUXIT)

Cybersecurity and hardware security have become the fundamental threats for major businesses today. Increasing attack includes substandard attacks, such as phishing, and on a larger scale sophisticated Distributed Denial of Service (DDOS) attacks. The security of Internet of Intelligent of Things (IIoT) and 5G/6G Security Connectivity of the Cyber Physical systems is now a big research issue. The presentation shall show how to: 

- Analyse and develop a deeper understanding of software security as a whole to capture main properties of interest to a secure network in IoT 

- Understand all possible cyber threats/attacks that IoT devices can face in order to shield the network from malicious attacks, thus protecting the data flowing through the network 

- Propose an efficient method to identify software vulnerabilities using concolic testing and machine learning techniques, in order to make IoT devices less susceptible to the cyber threats/attacks 

- Apply this verification method to a large number of open source applications that can benefit from a rigorous software security analysis.