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

Project: Research project

Project Details


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.
Effective start/end date1/11/1931/10/22


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.
  • 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

  • Vacuity in Synthesis

    Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., Sep 2021, In: Formal Methods in System Design. 57, 3, p. 473-495 23 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access