Constructing tool-based security test sequences for vehicles as high-tech data-rich systems

Vehicles, as a prime example of high-tech systems, get increasingly connected and data-centric with the need to process personally identifiable information. Often, companies that develop such systems act as integrators and need to comply to adequate data protection requirements. For instance, GDPR requires securing personal data. Yet, testing...

Verifying sanitizer correctness through black-box learning: A symbolic finite transducer approach

String sanitizers are widely used functions for preventing injection attacks such as SQL injections and cross-site scripting (XSS). It is therefore crucial that the implementations of such string sanitizers are correct. We present a novel approach to reason about a sanitizer's correctness by automatically generating a model of the implementation...

Adversarial alignment of class prediction uncertainties for domain adaptation

We consider unsupervised domain adaptation: given labelled examples from a source domain and unlabelled examples from a related target domain, the goal is to infer the labels of target examples. Under the assumption that features from pre-trained deep neural networks are transferable across related domains, domain adaptation reduces to aligning...

Practical security and privacy threat analysis in the automotive domain: Long term support scenario for over-the-air updates

Keeping a vehicle secure implies provide of a long-term support, where over-the-air updates (OTA) play an essential role. Clear understanding of OTA threats is essential to counter them efficiently. Existing research on OTA threats often exclude human actors, such as drivers and maintenance personnel, as well as leave aside privacy threats. This...

Virtual Prototyping of Large-Scale IoT Control Systems Using Domain-Specific Languages

IoT applications and other distributed control applications are characterized by the interaction of many hardware and software components. The inherent complexity of the distributed functionality introduces challenges on the detection and correction of issues related to functionality or performance, which are only possible to do after system...

On the effects of team size and communication load on the performance in exploration games

Exploration games are games where agents (or robots) need to search resources and retrieve these resources. In principle, performance in such games can be improved either by adding more agents or by exchanging more messages. However, both measures are not free of cost and it is important to be able to assess the trade-off between these costs and...

Ontology design for task allocation and management in urban search and rescue missions

Task allocation and management is crucial for human-robot collaboration in Urban Search And Rescue response efforts. The job of a mission team leader in managing tasks becomes complicated when adding multiple and different types of robots to the team. Therefore, to effectively accomplish mission objectives, shared situation awareness and task...

A new model proposal for integrated satellite constellation scheduling within a planning horizon given operational constraints

The operational use of satellite systems has been increasing due to technological advances and the reduced costs of satellites and their launching. As such it has become more relevant to determine how to better use these new capabilities which is reflected in an increase in application studies in this area. This work focuses on the problem of...

Integrating interface modeling and analysis in an industrial setting

The federated ontology of the pal project interfacing ontologies and integrating time-dependent data

This paper describes ongoing work carried out in the European project PAL which will support childre in their diabetes self-management as well as assist health professionals and parents involved in the diabete regimen of the child. Here, we will focus on the construction of the PAL ontology which has been assemble from several independently...

Development of IR single mode optical fibers for DARWIN-nulling interferometry

The DARWIN mission aims to detect weak infra-red emission lines from distant orbiting earth-like planets using nulling interferometry. This requires filtering of wavefront errors using single mode waveguides operating at a wavelength range of 6.5-20 μm. This article describes the optical design of the fibers, the manufacturing protocol, the...