posted by user: emil25 || 5691 views || tracked by 7 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.dmi.unict.it/~tramonta/VSC/index.html
 
When Jun 21, 2017 - Jun 23, 2017
Where Poznan, Poland
Submission Deadline Feb 26, 2017
Notification Due Apr 2, 2017
Final Version Due Apr 15, 2017
Categories    software engineering   security   testing   validation
 

Call For Papers

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.

For the full CFP see http://www.dmi.unict.it/~tramonta/VSC/index.html

Related Resources

Cyber Incident 2020   IEEE International Conference on Cyber Incident Response, Coordination, Containment & Control
SP 2020   IEEE Symposium on Security and Privacy
LADC 2019   9th Latin-American Symposium on Dependable Computing
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
FTSCS 2019   7th International Workshop on Formal Techniques for Safety-Critical Systems
CSIT 2020   7th International Conference on Computer Science and Information Technology
FMAS 2019   Formal Methods for Autonomous Systems
ASIACCS 2020   ACM ASIACCS 2020 : The 15th ACM ASIA Conference on Computer and Communications Security
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G