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.
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)
A white-box anomaly-based framework for database leakage detectionJournal of Information Security and Applications (2017)
Encryption in ICS networks : a blessing or a curse?2017 IEEE International Conference on Smart Grid Communications (2017)
- Automata, language theory and complexity
- Verification of security protocols
- Computer networks and security
- Discrete structures
- Verzorgen onderwijs, TIAS Nimbas Business School