Robustness Verification for Classifier Ensembles

We give a formal verification procedure that decides whether a classifier ensemble is robust against arbitrary randomized attacks. Such attacks consist of a set of deterministic attacks and a distribution over this set. The robustness-checking problem consists of assessing, given a set of classifiers and a labelled data set, whether there exists...

Practical Mutation Testing for Smart Contracts

Solidity smart contracts operate in a hostile environment, which introduces the need for the adequate application of testing techniques to ensure mitigation of the risk of a security incident. Mutation testing is one such technique. It allows for the evaluation of the efficiency of a test suite in detecting faults in a program, allowing...

Mobility and bandwidth prediction as a service in virtualized LTE systems

World modeling for cooperative intelligent vehicles

Cooperative intelligent vehicle systems constitute a promising way to improving traffic throughput, safety and comfort. The state-of-the-art intelligent-vehicle applications usually can be described as a collection of interacting, highly autonomous, complex dynamical systems (the individual vehicles). The vehicles implement onboard a wide...