Submission: August 25, 2024
Authors Notification: September 08, 2024
Camera ready: September 15, 2024
Workshop: November 6, 2024
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:
To be announced
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.
We would like to thank our sponsors for trusting us with the first international workshop on the DesiGn, VeRificAtion, and VALidation of IoT Systems.