Security and Embedded Networked Systems

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Security and Embedded Networked Systems actief is. Deze onderwerplabels komen uit het werk van de leden van deze organisatie. Samen vormen ze een unieke vingerafdruk.

  • Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

    Onderzoeksoutput

    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 mei 2019, 2019 IEEE International Conference on Software Architecture - Companion, ICSA-C 2019. Piscataway: Institute of Electrical and Electronics Engineers, blz. 69-76 8 blz. 8712351

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1 Citaat (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., Obaidat, M. S., Callegari, C., van Sinderen, M. & Lorenz, P. (redactie). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., blz. 460-469 10 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
  • 2 Citaten (Scopus)
    14 Downloads (Pure)

    Formal analysis of XACML policies using SMT

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

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 14 Citaten (Scopus)
    2 Downloads (Pure)

    Activiteiten

    • 1 Workshop, seminar, cursus of expositie
    • 1 Consultancy

    Architecturen voor embedded Internet

    Johan Lukkien (Adviseur)
    2001

    Activiteit: Types adviesConsultancyProfessioneel

    , Fourth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'99), Pisa, Italie

    Michel Chaudron (Organisator)
    11 jul 1999

    Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk

    Scripties/Masterproeven

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

    Auteur: Stanimir, S., 30 sep 2019

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

    Scriptie/masterproef: Master

    Bestand

    Fault injection mechanisms for validating dependability of automotive systems

    Auteur: Fu, Y., 31 aug 2018

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

    Scriptie/masterproef: Master

    Bestand