Publications & Demonstrators

All accepted publications from SPARTA partners under its funding as well as videos presenting some of the work done under SPARTA


Secure Firmware Updates for Constrained IoT Devices Using Open Standards: A Reality Check

K. Zandberg, K. Schleiser, F. Acosta, H. Tschofenig, and E. Baccelli

While IoT deployments multiply in a wide variety of verticals, most IoT devices lack a built-in secure firmware update mechanism. Without such a mechanism, however, critical security vulnerabilities cannot be fixed, and IoT devices can become a permanent liability, as demonstrated by recent large-scale attacks. In this paper, we survey...More>>

Domains: IoT

A Secure Publish/Subscribe Protocol for Internet of Things

Lukas Malina, Gautam Srivastava, Petr Dzurenda and Jan Hajny

The basic concept behind the emergence of Internet of Things (IoT) is to connect as many objects to the Internet as possible in an attempt to make our lives better in some way. However, connecting everyday objects like your car or house to the Internet can open up major security...More>>

Domains: IoT

Advances in Usability of Formal Methods for Code Verification with Frama-C

André Maroneze, Valentin Perrelle, Florent Kirchner

Industrial usage of code analysis tools based on semantic analysis, such as the Frama-C platform, poses several challenges, from the setup of analyses to the exploitation of their results. In this paper, we discuss two of these challenges. First, such analyses require detailed information about the code structure and the...More>>

Domains: formal, methods, frama-c