SPIoT 2019 - Workshop on Security Practices for Internet of Things (SPIoT 2019)
Topics/Call fo Papers
The workshop on Security Practices for Internet of Things addresses the security issues of IoT devices from the formal and practical viewpoint. IoT devices are creeping into everyday life by promising wondrous features. However, a malicious attacker can easily exploit these devices to build botnets, lock them with ransomware, or use them as a bridgehead into less accessible networks. The objective of the SPIoT workshop is to bring together security practitioners, security-aware IoT users and formal analysis experts with the aim of sharing practices and finding guarantees about the trustworthiness of IoT devices and their use. Relevant case studies come from settings where a security flaw implies serious damage, such as in industry, safety-critical systems and healthcare.
Organizers: Saddek Bensalem, Florian Kammüller, Axel Legay, Stefano Schivo, Marielle Stoelinga
Organizers: Saddek Bensalem, Florian Kammüller, Axel Legay, Stefano Schivo, Marielle Stoelinga
Other CFPs
- 6th International Workshop on Synthesis of Complex Parameters (SynCoP 2019)
- Tutorial on Automatic Synthesis of Reactive Systems (SYNTCOMP Camp 2019)
- 8th Verification Competition (VerifyThis2019)
- 8th International Conference on Principles of Security and Trust (POST)
- 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
Last modified: 2018-12-29 20:57:02