Security and Embedded Networked Systems

Fingerprint Dive into the research topics where Security and Embedded Networked Systems is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    A retargetable fault injection framework for safety validation of autonomous vehicles

    Fu, Y., Terechko, A., Bijlsma, T., Cuijpers, P. J. L., Redegeld, J. & Ors, A. O., 9 May 2019, 2019 IEEE International Conference on Software Architecture - Companion, ICSA-C 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 69-76 8 p. 8712351

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

  • 1 Citation (Scopus)

    Towards a systematic process-aware behavioral analysis for security

    Genga, L. & Zannone, N., 1 Jan 2018, Proceedings of the 15th International Joint Conference on e-Business and Telecommunications. de Leon, A. S. S., Novais, P., Battiato, S., Sarigiannidis, P., Obaidat, M. S., Callegari, C., van Sinderen, M. & Lorenz, P. (eds.). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., p. 460-469 10 p.

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

    Open Access
    File
  • 2 Citations (Scopus)
    15 Downloads (Pure)

    Formal analysis of XACML policies using SMT

    Turkmen, F., den Hartog, J., Ranise, S. & Zannone, N., 1 May 2017, In : Computers and Security. 66, p. 185-203 19 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  • 14 Citations (Scopus)
    2 Downloads (Pure)

    Activities

    • 1 Workshop, seminar, course or exhibition
    • 1 Consultancy

    Architecturen voor embedded Internet

    Johan Lukkien (Advisor)
    2001

    Activity: Consultancy typesConsultancyProfessional

    4th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 1999)

    Michel Chaudron (Organiser)
    11 Jul 1999

    Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

    Student theses

    An IoT framework for sharing data in the TU/e smart grid

    Author: Stanimir, S., 30 Sep 2019

    Supervisor: Redegeld, J. (Supervisor 1), Cuijpers, P. (Supervisor 2) & Dajsuren, Y. (Supervisor 2)

    Student thesis: Master

    File

    Fault injection mechanisms for validating dependability of automotive systems

    Author: Fu, Y., 31 Aug 2018

    Supervisor: Cuijpers, P. (Supervisor 1), Redegeld, J. (Supervisor 2) & Terechko, A. (Supervisor 2)

    Student thesis: Master

    File