Security and Embedded Networked Systems

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

Research Output 1994 2019

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

Hardware
User interfaces
Electronic equipment
Health
Robots
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., 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
Mathematical models
Engines
11 Citations (Scopus)

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

Access control
Markup languages
Query languages
XML
Specifications

Activities 1999 2001

  • 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