Expertises
Computer Science
- Communication Network
- Energy Efficient
- Algorithms
- ad-hoc network
- Overlay
- Security Survey
- wireless ad hoc network
- Approximation Ratio
Organisaties
Publicaties
2024
Security and Safety in Urban Environments: Evaluating Threats and Risks of Autonomous Last-Mile Delivery RobotsIn SAFECOMP 2024: 43rd International Conference on Computer Safety, Reliability and Security (Accepted/In press). Kolb, C. & Xie, L.Tactics for Account Access GraphsIn Computer Security – ESORICS 2023: 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings, Part III (pp. 452-470). Arnaboldi, L., Aspinall, D., Kolb, C. & Randomirovic, S.https://doi.org/10.1007/978-3-031-51479-1_23Security and Human-Safety by Applying Last-Mile Robots in Urban EnvironmentsIn SENSEI 2024: International Workshop on Safety-Security Interaction (Accepted/In press). Kolb, C. & Xie, L.
2023
Model-Based Joint Analysis of Safety and Security: Survey and Identification of Gaps, Article 100597. Nicoletti, S. M., Peppelman, M., Kolb, C. & Stoelinga, M.https://doi.org/10.1016/j.cosrev.2023.100597Beep-and-Sleep: Message and Energy Efficient Set Cover, Article 113756. Götte, T., Kolb, C., Scheideler, C. & Werthmann, J.https://doi.org/10.1016/j.tcs.2023.113756Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level ModelIn Computer Safety, Reliability, and Security: SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE Toulouse, France, September 19, 2023 Proceedings (pp. 176-187). Springer. Quamara, M., Kolb, C. & Hamid, B.https://doi.org/10.1007/978-3-031-40953-0_15
2022
Competitive routing in hybrid communication networks and message efficient SetCover in Ad Hoc networks. University of Paderborn. Kolb, C.
2021
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different CurrenciesIn Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings (pp. 457-467). Springer. Budde, C. E., Kolb, C. & Stoelinga, M.https://doi.org/10.1007/978-3-030-85172-9_24The Marriage Between Safety and Cybersecurity: Still PracticingIn Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (pp. 3-21). Springer. Stoelinga, M. I. A., Kolb, C., Nicoletti, S. M., Budde, C. E. & Hahn, E. M.https://doi.org/10.1007/978-3-030-84629-9_1Model-based Joint Analysis of Safety and Security: Survey and Identification of Gaps. ArXiv.org. Nicoletti, S. M., Peppelman, M., Kolb, C. & Stoelinga, M.https://doi.org/10.48550/arXiv.2106.06272
Onderzoeksprofielen
Adres
![](/.uc/if53455a301035dea11007cd4f40399f6468f569b14a60801e3bc0268018041/ravelijn.jpg)
Universiteit Twente
Ravelijn (gebouwnr. 10), kamer 3202
Hallenweg 17
7522 NH Enschede
Universiteit Twente
Ravelijn 3202
Postbus 217
7500 AE Enschede