Jerry den Hartog is an assistant professor with the Security Group, which is part of the section Security and Embedded Networked Systems at the department of Mathematics and Computer Science. His research interests cover data protection for collaborative systems; while sharing confidential information is often essential to collaboration, it is only possible within a demonstrably trustworthy setting. To this end his work focuses on network situational awareness and intrusion detection as well as on access control, trust management and formal verification. His work is applied in different settings such as critical infrastructure and industrial control systems, intelligent transport systems, smart buildings, and IoT in general, thus contributing to different TU/e research areas such as Data Science, Smart mobility, Energy and Engineering Heath. It ranges from fundamental research to more applied research in close collaboration with industrial partners. To support this collaboration he regularly acquires and managing projects in these areas.
Jerry den Hartog obtained his MsC and PhD at the Vrije Universiteit Amsterdam, in the area of formal methods. He also worked as researcher at the Centrum for Wiskunde en Informatica, the Eindhoven University of Technology (TU/e) and the University of Twente, before joining the TU/e in 2008 as assistant professor. There he helped to establish the security group at the Mathematics and Computer Science department where he currently still works.
Role inference + anomaly detection = situational awareness in bacnet networks16th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2019 (2019)
Using provenance for secure data fusion in cooperative systems24th ACM Symposium on Access Control Models and Technologies, SACMAT 2019 (2019)
Leveraging semantics for actionable intrusion detection in building automation systems13th International Conference on Critical Information Infrastructures Security, CRITIS 2018 (2019)
Security and privacy for innovative automotive applicationsComputer Communications (2018)
Formal analysis of XACML policies using SMTComputers and Security (2017)
- Automata, language theory and complexity
- Verification of security protocols
- Computer networks and security
- Discrete structures
- Verzorgen onderwijs, TIAS Nimbas Business School