ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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.

Call for Papers

The main aim of the workshop is to stimulate collaboration among the participants from the security and formal methods communities. For this reason, the submissions are in the form of abstracts, and may include both published and ongoing work. We accept submissions up to two pages in the LLNCS format, which are handled via EasyChair. No formal publication nor post-proceedings will be produced, however a pre-proceeding printed version of the abstracts will be made available to the workshop participants.

Important dates:

Abstract submission: November 2, 2018

Notification: December 14, 2018

Final versions for informal pre-proceedings: February 8, 2019