posted by user: emil25 || 2297 views || tracked by 2 users: [display]

VSC @ IEEE WETICE 2018 : Validation of Safety critical Collaboration systems

FacebookTwitterLinkedInGoogle

Link: http://www.dmi.unict.it/~tramonta/VSC/index.html
 
When Jun 27, 2018 - Jun 29, 2018
Where Paris, France
Submission Deadline Mar 16, 2018
Notification Due Apr 8, 2018
Final Version Due Apr 13, 2018
Categories    testing   design   static analysis   privacy
 

Call For Papers

VSC track brings the opportunity for researchers and developers from industry and the academic world to report the state of the art and exchange ideas on correcteness, confidentiality, security, privacy and reliability of software technologies. The idea is to foster research and development for the advanced support needed to enhance the level of quality and of user trust on services holding personal data and involving collaboration with unknown remote parties.

Nowadays, the widespread use of smart devices, such as smart cards, watches, phones, and tablets, connected by the ubiquitous public Internet network, enables us to easily access a vast range of useful services. Such devices allow people to perform every day activities that either play a role in a collaborative task or are actually supported by some real-time or asynchronous collaboration technology. Example services and applications include the monitoring of health-related functions, messaging, the trading of goods, remote writing or signing of digital documents, activities on social networks or work groups, remotely locating someone/something, and even services improving our ability to observe/control the environment around us.

In this context, applications that hold or exchange sensitive user data, like personal details, security pin-codes, or biometric data, need special protection against software failures or malicious behaviour of downloaded code, that may expose the user to highly undesired consequences, such as threats to confidentiality and even financial or health danger.

This is even more true since the trend is indeed towards integration, that is, not to have many specialized access devices but a single, multi-purpose host handling many (or all) kinds of user services and its related data together, even though with limited computing resources, such as any small device hosting a Java or .Net run-time environment.

Moreover, inherent mobility and distribution of these small, open computing devices increases the complexity of the solutions to be adopted for handling secure and reliable execution of untrusted code, in order to ensure the data confidentiality strongly required by the applications.

As a consequence, new and specially designed techniques can be devised and applied in order to reach the goal of increasing the trust on such a distributed computing environment to a level of strength matching with the high strength of the above safety critical requirements.

Papers should contain original contributions not published or submitted elsewhere, and references to related state-of-the art work. Please submit your papers in PDF format. Authors of accepted papers are expected to present their papers at the conference.

Papers up to six pages (including figures, tables and references) can be submitted. Papers should follow the IEEE conference format, which is single-spaced, two columns, 10pt Times/Roman font. Papers should include a title, the name and affiliation of each author, an abstract of up to 150 words and no more than eight keywords. All submitted papers will be peer-reviewed by a minimum of three program committee members.

Accepted papers will be published in the conference proceedings, and will be published by the IEEE Computer Society Press, indexed by Scopus, Google Scholar, etc. Moreover, an issue of the International Journal Information Technology and Control (ITC) has been programmed with submission open by invitation only to authors of high quality papers submitted to the VSC track. ITC journal is indexed by Scopus, and has an IF given by Thomson Reuters-Web of Science.

If you have further questions or remarks, please do not hesitate to contact the organizers. Submission is through the EasyChair system
https://easychair.org/conferences/?conf=wetice2018, please select Track: Validation of Safety critical Collaboration systems.

Related Resources

AI Safety 2024   Special Issue for the Journal Frontiers in Robotics and AI on AI Safety: Safety Critical Systems
IJME 2024   International Journal of Microelectronics Engineering
CIPHERSS 2024   1st Workshop on Critical Infrastructure PHysical-cybER Safety and Security
CEVVE 2024   2024 2nd International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2024)
ICDM 2024   IEEE International Conference on Data Mining
SPTM 2024   12th International Conference of Security, Privacy and Trust Management
VST 2024   7th Workshop on Validation, Analysis and Evolution of Software Tests
ISDEA 2024   2024 3rd International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2024)
IEEE BigData 2024   2024 IEEE International Conference on Big Data
IEEE AIxVR 2024   IEEE International Conference on Artificial Intelligence & extended and Virtual Reality