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.

Scheduling Engineering & Materials Science
Real time systems Engineering & Materials Science
Synchronization Engineering & Materials Science
Lighting Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Network protocols Engineering & Materials Science
Video streaming Engineering & Materials Science
Communication Engineering & Materials Science

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

Research Output 1994 2019

1 Citation (Scopus)

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
2 Citations (Scopus)
10 Downloads (Pure)

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
14 Citations (Scopus)
2 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

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