Rens van der Heijden
Rens van der Heijden has received a Bachelor diploma in Computer Science from the Universty of Twente in 2010. In 2012, he received a Master diploma cum laude from the Kerckhoffs Institute at the Dutch Universities Twente, Nijmegen and Eindhoven. Since September 2012, he is employed by the Institute of Distributed Systems at Ulm University.
- Intrusion, misbehavior and anomaly detection
- Security in cyber-physical systems (CPS)
- Security in industrial control systems (ICS)
- Vehicle-to-Vehicle communication
- Vehicular networks
- Security protocols
- Applied cryptography
Currently I'm working on an implementation of ideas developed for my PhD thesis. The (software) project is called Maat -- after the Egyptian goddess of truth, by coincidence also the Dutch equivalent to bro -- and is designed to detect attacks on cyber-physical systems by using multiple detection mechanisms on incoming data. Additionally, Maat is designed to be a world model, i.e., it is able to represent arbitrary events in a graph, on which the mechanisms are executed. I'm currently looking for a number of students to write theses or do projects in this area, and I'm also looking for someone to help develop the core of the framework as a HiWi (refer to convenda for more information).
- Practical IT Security [SS13PSEC SS 2014, main supervision now by Henning Kopp]
- Sicherheit in IT Systemen (Course language: German) [WS12, WS13, WS14, WS15, WS16, ..]
- Security and Privacy in Mobile Systems (EN) [SS14, SS15]
Seminars and Projects
- Privacy in the Internet (Course language: German) [WS12, WS13, WS14, WS15, WS16, ..]
- Selected Topics in Distributed Systems & Research Trends in Distributed Systems [WS12, SS13, WS13, SS14, WS14, SS15, WS15, WS16, ..]
- Computer Networks and IT-Security (2-semester Project) [WS12, WS13, WS14, WS15]
I will gladly discuss the supervision of a topic of your choice, in either English or German. Please contact me and include which field you are interested in! My main areas of research are misbehavior detection, intrusion detection, vehicular (ad-hoc) networks and networked industrial control systems. At the bottom of this page, you can find some example theses that I've supervised in the past.
Exploiting Propagation Effects for Authentication and Misbehavior Detection in VANETs
Proceedings of the 2016 IEEE Vehicular Networking Conference (VNC)
A Comparison of TCP Congestion Control Algorithms in 10G Networks
Proceedings of the 41st IEEE Conference on Local Computer Networks (LCN) , Seite 706-714.
Mobile Triage Management in Disaster Area Networks Using Decentralized Replication
Proceedings of the Tenth ACM MobiCom Workshop on Challenged Networks , Seite 7-12.
Enhanced Position Verification for VANETs using Subjective Logic
Proceedings of the 2016 IEEE 84th Vehicular Technology Conference: VTC2016-Fall
Context-adaptive Detection of Insider Attacks in VANET Information Dissemination Schemes
Vehicular Networking Conference (VNC), 2015 IEEE , Seite 293-300.
Terrorist fraud resistance of distance bounding protocols employing physical unclonable functions
Networked Systems (NetSys), 2015 International Conference and Workshops on , Seite 1-8.
Formal Verification of Privacy Properties in Electric Vehicle Charging
In Piessens, Frank and Caballero, Juan and Bielova, Nataliia, Editor, Engineering Secure Software and Systems Band 8978 aus Lecture Notes in Computer Science , Seite 17-33.
Herausgeber: Springer International Publishing,
Network Attack Detection and Defense: Securing Industrial Control Systems for Critical InfrastructuresInformatik Spektrum, 37(6):605-607
Insights on the Security and Dependability of Industrial Control SystemsIEEE Security and Privacy Magazine, 12(6):75-78
Dynamic Packet-filtering in High-speed Networks Using NetFPGAs
Proceedings of the 3rd International Conference on Future Generation Communication Technology (Best Paper Award) , Seite 55-59.
A Flexible, Subjective Logic-based Framework for Misbehavior Detection in V2V Networks
Proceedings of the 1st WoWMoM Workshop on Smart Vehicles: Connectivity Technologies and ITS Applications
Open issues in differentiating misbehavior and anomalies for VANETs
Proceedings of 2nd GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2014)
SeDyA: Secure Dynamic Aggregation in VANETs
Proceedings of the sixth ACM conference on Security and privacy in wireless and mobile networks (ACM WiSec 2013) , Seite 131-142.
Herausgeber: ACM, New York, NY, USA
Misbehavior Detection in Vehicular Ad-hoc Networks
Proceedings of 1st GI/ITG KuVS Fachgespräch Inter-Vehicle Communication (FG-IVC 2013)
Theses & Projects
Replicating data-centric detection results in VANETs
Institute of Distributed Systems, Ulm Univerisity,