About |
|
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 correctness, 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. Distributed technologies such as blockchains have emerged to foster collaboration and data preservation. Such devices and infrastructures 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. 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. 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. |
Call for Papers |
|
Topics Covered |
Summary |
|
VSC @IEEE WETICE 2020 : Track on Validating Software for Critical Systems (VSC) will take place in Basque Coast - Bayonne, France. It’s a 3 days event starting on Jun 10, 2020 (Wednesday) and will be winded up on Jun 12, 2020 (Friday). VSC @IEEE WETICE 2020 falls under the following areas: SOFTWARE TESTING, STATIC ANALYSIS, FORMAL VERIFICATION, SECURITY & PRIVACY, etc. Submissions for this Conference can be made by Feb 29, 2020. Authors can expect the result of submission by Mar 21, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Apr 04, 2020 to the official website of the Conference. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the VSC @IEEE WETICE 2020
|
Credits and Sources |
| [1] VSC @IEEE WETICE 2020 : Track on Validating Software for Critical Systems (VSC) |
