dr. C. Kolb (Christina)

Mathematics

# Attack
# Currency
# Fault Tree
# Qualitative Analysis
# Semantic Analysis

Engineering & Materials Science

# Security Of Data
# Semantics
# Syntactics

Faculty of Behavioural, Management and Social Sciences (BMS), Industrial Engineering & Business Information Systems (IEBIS)

Arnaboldi, L., Aspinall, D. , Kolb, C., & Randomirovic, S. (2024). Tactics for Account Access Graphs. In G. Tsudik, M. Conti, K. Liang, & G. Smaragdakis (Eds.), 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) https://doi.org/10.1007/978-3-031-51479-1_23

Nicoletti, S. M., Peppelman, M. , Kolb, C. , & Stoelinga, M. (2023). Model-Based Joint Analysis of Safety and Security: Survey and Identification of Gaps. Computer science review, 50, Article 100597. https://doi.org/10.1016/j.cosrev.2023.100597

Götte, T. , Kolb, C., Scheideler, C., & Werthmann, J. (2023). Beep-and-Sleep: Message and Energy Efficient Set Cover. Theoretical computer science, 950, Article 113756. https://doi.org/10.1016/j.tcs.2023.113756

Quamara, M. , Kolb, C., & Hamid, B. (2023). Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model. In J. Guiochet, S. Tonetta, E. Schoitsch, M. Roy, & F. Bitsch (Eds.), Computer Safety, Reliability, and Security: SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE Toulouse, France, September 19, 2023 Proceedings (pp. 176-187). (Lecture Notes in Computer Science; Vol. 14184). Springer. https://doi.org/10.1007/978-3-031-40953-0_15

Kolb, C. (2022). Competitive routing in hybrid communication networks and message efficient SetCover in Ad Hoc networks. [PhD Thesis - Research external, graduation external, University of Paderborn]. University of Paderborn.

Nicoletti, S. M., Peppelman, M. , Kolb, C. , & Stoelinga, M. (2021). Model-based Joint Analysis of Safety and Security: Survey and Identification of Gaps. ArXiv.org. https://doi.org/10.48550/arXiv.2106.06272

Götte, T. , Kolb, C., Scheideler, C., & Werthmann, J. (2021). Beep-And-Sleep: Message and Energy Efficient Set Cover. In L. Gasieniec, R. Klasing, & T. Radzik (Eds.), Algorithms for Sensor Systems: 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9–10, 2021, Proceedings (pp. 94-110). (Lecture Notes in Computer Science; Vol. 12961). Springer. https://doi.org/10.1007/978-3-030-89240-1_7

Götte, T. , Kolb, C., Scheideler, C., & Werthmann, J. (2021). Beep-And-Sleep: Message and Energy Efficient Set Cover. ArXiv.org. https://doi.org/10.48550/arXiv.2107.14570

Budde, C. E. , Kolb, C. , & Stoelinga, M. (2021). Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. In A. Abate, & A. Marin (Eds.), Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings (pp. 457-467). (Lecture Notes in Computer Science; Vol. 12846). Springer. https://doi.org/10.1007/978-3-030-85172-9_24

Stoelinga, M. I. A. , Kolb, C. , Nicoletti, S. M. , Budde, C. E., & Hahn, E. M. (2021). The Marriage Between Safety and Cybersecurity: Still Practicing. In A. Laarman, & A. Sokolova (Eds.), Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (pp. 3-21). (Lecture Notes in Computer Science; Vol. 12864). Springer. https://doi.org/10.1007/978-3-030-84629-9_1

Bekijk alle publicaties van deze medewerker

+31534897851

c.kolb@utwente.nl