from 1st March to 31st May

Publications & Demonstrators

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


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