The International Data Corporation (IDC) envisions that 41 billion Internet-of-Things (IoT) endpoints will be in use by 2025. It is expected that IoT Systems will foster innovations in many application domains such as Intelligent transportation, energy, eHealth, industry 4.0 and technology. These often include critical infrastructures, which are of paramount importance to the security, economy, and the well-being of nations and their citizens. As a result, these IoT systems need to be carefully designed, verified, validated and maintained with security as a firstclass citizen before and during operation.

The GRAAL4IoT international workshop is one of the most accurate venues to discuss and advances all topics related the design, verification and validation of IoT systems with a specific focus on security. The key goals of the workshop are:

1. Foster work on novel topics covering fundamental as well as applied research on the design, verification, and validation of IoT systems,
2. Bring together researchers from the software development and IoT communities, as well as to promote discussions between theoreticians and practitioners.

Topics of interest include, but are not limited to:

• Modelling and design of IoT systems
• Testing and monitoring of IoT systems
• Risk Assessment of IoT systems
• Cybersecurity and resilience of IoT system and Critical Infrastructures
• DevOps for IoT systems
• Digital Twin, Simulation and Co-simulation of IoT systems

GRAAL4IoT Organization Committee

• Erkuden Rios, Tecnalia, Spain
• Hui Song, SINTEF, Norway
• Wissam Mallouli, Montimage, France
• Nicolas Ferry, UniCA, France

GRAAL4IoT Program Committee

• Gur Gurkan, Zurich University of Applied Sciences (ZHAW)
• Moharram Challenger, University Antwerp
• Alessandra de Benedictis, University of Naples
• Stefan Klikovits, Johannes Kepler University, Linz
• Valeria Valdes, Montimage
• Ana Cavalli, Montimage
• Assia Belbachir, Norce Research
• Panagiotis Radoglou-Grammatikis, UOWM
• Adra Göknil, SINTEF Digital
• Jason Mansell, Tecnalia Reasearch and Innovation
• Alin Stefanescu, University of Bucharest

Submission Guidelines

All submissions must be written in English, adhere to the Spring formatting guidelines for the IFIP AICT series and must be relevant to the workshop topics. Papers should be at most 18 pages long, including figures, references, and appendices. All the accepted papers must be presented at the workshop. The accepted papers will be published in the Springer proceedings of the conference.

Manuscripts in PDF format with author information (optional) should be submitted using the link.

At least one author of each accepted paper must register by the early registration date and present the paper. Authors and participants must register.

Accepted submissions after peer-reviewing will be presented at the conference and included in the pre-conference book to be published in the IFIP Advances in Information and Communication Technology (AICT) Series by Springer Nature. Proceedings will be submitted for indexing in SCOPUS and Web of Science.

The copyright form from Springer can be found Download PDF . Template provided here should be used to format the paper submission.

Sponsors

We would like to thank our sponsors for trusting us with the first international workshop on the DesiGn, VeRificAtion, and VALidation of IoT Systems.

• DYNABIC
• COGNIMAN
• NATWORK
• ERATOSTHENES
• ENTRUST
• AI4Cyber

Agenda

The GRAAL4IoT and STAND4IoT workshops are organized around joint sessions to allow better interaction between their communities.

The following program may be subject to minor changes for a better organization of the day.

• 08:30 - 09:15: Coffee and registration
• 09:15 - 09:30: Welcome
• 09:30 - 10:15: Keynote : Enrico Scarrone (Telecom Italia)
• 10:15 - 10:45: Panel Discussion : IoT and Standard (SAREF, TTF, …)
• 10:45 - 11:00: Coffee break
• 11:00 – 12:00: Accepted papers session
  • Empowering Real-Time IoT Applications: A Brief Review on Leveraging GPU Acceleration for Latency Reduction - Amina Selma Haichour and Khaled Benfriha
  • SINDIT: A Framework for Knowledge Graph-Based Digital Twins in Smart Manufacturing - An Ngoc Lam, Gøran Brekke Svaland, Miguel Ángel Barcelona, Shane Keaveney, Wissam Mallouli, Luong Nguyen, Assia Belbachir, Xiang Ma, Akhilesh Kumar Srivastava and Ahmed Nabil Belbachir
• 12:00 - 13:00: Lunch
• 13:00 – 13:45: Keynote : Valentina Casola (University of Naples)
• 13:45 – 15:30: EU projects session (6x15 minutes of presentation)
• 15:30 – 16:00: Demo session as break (stands where people can show demos)
• 16h00 – 17:30: Accepted papers session
  • Threats to the IoT Device Production Processes – A Blind Spot in the Product Security Lifecycle - Philipp Schubaur, Peter Knauer and Dominik Merli
  • Building Digital Twins from the Unseen: Leveraging Similar Workflows to Protect IoT-equipped Infrastructures - Bernat Coma-Puig, Jacek Dominiak and Victor Muntés-Mulero
  • Enhancing IoT Security in 6G Networks: AI-Based Intrusion Detection, Penetration Testing, and Blockchain-based Trust Management - Vinh Hoa La, Wissam Mallouli, Ana Cavalli, Edgardo Montes de Oca, Manh-Dung Nguyen, Péter Vörös, Károly Kecskeméti, Mohammed B. M. Kamel, Sándor Laki, Antonios Lalas, Sarantis Kalafatidis, Asterios Mpatziakas, Nikolaos Makris and Anastasios Drosou
• 17:30 – 17:45: Wrap up session