TRUSTED - Trutst, security & autonomy in automation of the future

Project: Research project

Project Details

Description

The upcoming connected and autonomous vehicles as well as connected embedded devices in many application areas require higher level of security, safety, and privacy. Verification and validation in general, and security testing in particular are integral part of building trustworthy ICT systems. The TRUSTED project will take an attack-driven approach to black-box testing of automotive systems as well as embedded devices that researches and develops novel solutions for effective and efficient security testing at different levels of abstraction in the system development lifecycle. Existing knowledge of attacks will be modelled and simulated with guided-random search to explore potential weaknesses of an automotive system-under-test. The project will demonstrate the results in real world use cases.
StatusFinished
Effective start/end date1/11/1931/10/22

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Threat Repair with Optimization Modulo Theories

    Tarrach, T., Ebrahimi, M., König, S., Schmittner, C., Bloem, R. & Nickovic, D., 6 Oct 2022.

    Research output: Working paperPreprint

    File
  • Learning Mealy Machines with One Timer

    Vaandrager, F., Bloem, R. & Ebrahimi, M., 2021, Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Cham: Springer Nature Switzerland AG, p. 157-170 14 p. (Lecture Notes in Computer Science; vol. 12638).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review