How to Train Your Llama – Efficient Grammar-Based Application Fuzzing Using Large Language Models
Mhiri, I.; Börsig, M.; Stark, A.; Baumgart, I.
2025. Secure IT Systems. Proceedings. Ed.: L.H. Iwaya, 239–257, Springer Nature Switzerland.
Publications
Our interdisciplinary research is reflected in the outstanding publications of KASTEL Security Research Labs.
Evaluating Large Language Models in Cybersecurity Knowledge with Cisco Certificates
Keppler, G.; Kunz, J.; Hagenmeyer, V.; Elbez, G.
2025. Secure IT Systems. Ed.: L.H. Iwaya, 219–238, Springer Nature Switzerland.
“I believe it’s incredibly difficult to fight against this flood of spam”: Towards Enhancing Strategies for Creating Effective Vulnerability Notifications
Hennig, A.; Veit, M.; Schmidt-Enke, L.; Neusser, F.; Herrmann, D.; Mayer, P.
2025. Computers & security
Datenschutzrecht – DS-GVO / BDSG
Spiecker genannt Döhmann, I.; Hornung, G.; Simitis, S. (Hrsg.)
2024. Nomos Verlagsgesellschaft
An Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems
Weyns, D.; Hezavehi, S. M.; Avgeriou, P.; Calinescu, R.; Mirandola, R.; Perez-Palacin, D.
2024. ACM Transactions on Autonomous and Adaptive Systems.
Does Every Computer Scientist Need to Know Formal Methods?
Broy, M.; Brucker, A. D.; Fantechi, A.; Gleirscher, M.; Havelund, K.; Kuppe, M. A.; Mendes, A.; Platzer, A.; Ringert, J. O.; Sullivan, A.
2025. Formal Aspects of Computing, 37 (1), Art.-Nr.: 6.
Evaluating Adversarial Attacks on Traffic Sign Classifiers Beyond Standard Baselines
Pavlitska, S.; Müller, L.; Zöllner, J. M.
2024. 23rd International Conference on Machine Learning and Applications (ICMLA 2024), 1390–1395, Institute of Electrical and Electronics Engineers (IEEE).
Towards Adversarial Robustness of Model-Level Mixture-of-Experts Architectures for Semantic Segmentation
Pavlitska, S.; Eisen, E.; Zöllner, J. M.
2024. 23rd International Conference on Machine Learning and Applications (ICMLA 2024), 1460–1465, Institute of Electrical and Electronics Engineers (IEEE).
A stochastic optimisation model to support cybersecurity within the UK national health service
Grass, E.; Pagel, C.; Crowe, S.; Ghafur, S.
2024. Journal of the Operational Research Society, 1–12.
Physical One‐Way Functions for Decentralized Consensus Via Proof of Physical Work
Winkler, M.; Peither, C.; Petrick, S.; Seidemann, L.; Jelich, H.; Kleine Jäger, F.; Müller-Quade, J.; Colsmann, A.; Nirschl, H.; Rhein, F.
2025. Advanced Science, 12 (5).
Aviator: A MITRE Emulation Plan-Derived Living Dataset for Advanced Persistent Threat Detection and Investigation
Liu, Q.; Bao, K.; Hagenmeyer, V.
2024. 2024 IEEE International Conference on Big Data (BigData), 5610–5619, Institute of Electrical and Electronics Engineers (IEEE).
Quantum Security for the Tactile Internet
Hassanpour, S.; Bassoli, R.; Nötzel, J.; Fitzek, F. H. P.; Boche, H.; Strufe, T.
2025. Security and Privacy for 6G Massive IoT. Ed.: G. Mantas, F. Saghezchi, J. Rodriguez, V. Sucasas, 193–228, John Wiley and Sons.
Graph attention-based neural collaborative filtering for item-specific recommendation system using knowledge graph
Elahi, E.; Anwar, S.; Al-kfairy, M.; Rodrigues, J. J. P. C.; Ngueilbaye, A.; Halim, Z.; Waqas, M.
2025. Expert Systems with Applications, 266, Art.-Nr.: 126133.
Registered FE Beyond Predicates: (Attribute-Based) Linear Functions and More
Datta, P.; Pal, T.; Yamada, S.
2025. Advances in Cryptology – ASIACRYPT 2024 – 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9–13, 2024, Proceedings, Part I. Ed.: K.-M. Chung, 65–104, Springer Nature Singapore.
R+R: Understanding Hyperparameter Effects in DP-SGD
Morsbach, F.; Reubold, J. L.; Strufe, T.
2024. Proceedings of the 40th Annual Computer Security Applications Conference
Model-Manipulation Attacks Against Black-Box Explanations
Hegde, A.; Noppel, M.; Wressnegger, C.
2024. Proceedings of the Annual Computer Security Applications Conference (ACSAC), Honolulu, HI, 9th – 13th December 2024
ReP2P Matrix: Decentralized Relays to Improve Reliability and Performance of Peer-to-Peer Matrix
Schichtholz, B. D.; Bless, R.; Jacob, F.; Hartenstein, H.; Zitterbart, M.
2024. Proceedings of the ACM Conext-2024 Workshop on the Decentralization of the Internet (DIN ’24), Los Angeles, CA, USA, December 9–12, 2024, 8–14, Association for Computing Machinery (ACM).
Integrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications
Camilli, M.; Luccioletti, F.; Mirandola, R.; Scandurra, P.
2025. Service-Oriented Computing – 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part II. Ed.: W. Gaaloul, 55–71, Springer Nature Singapore.
Literature Review: Misconceptions About Phishing
Mossano, M.; Volkamer, M.
2025. Human Aspects of Information Security and Assurance : 18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9–11, 2024, Proceedings, Part I, 215–228, Springer Nature Switzerland.
Kostenfreie ISO-Normen für alle? Zulässigkeit und Bedeutung von Verweisen auf private Normung im IT-Recht
Sterz, L.; Werner, C.; Raabe, O.
2024. InTeR, 146 (4), 146–153
Adversarially Robust Anti-Backdoor Learning
Zhao, Q.; Wressnegger, C.
2024. Proceedings of the 2024 Workshop on Artificial Intelligence and Security (AISEC), Association for Computing Machinery (ACM).
Explainable fatigue detection in assembly tasks through graph neural networks
Vishwesh, V.; Becker, M.; Birnstill, P.; Beyerer, J.
2024. Forum Bildverarbeitung 2024: Hrsg.: T. Längle, 171–182, Karlsruher Institut für Technologie (KIT)
Analysis and Measurement of Attack Resilience of Differential Privacy
Guerra-Balboa, P.; Sauer, A.; Strufe, T.
2024. WPES ’24: Proceedings of the 23rd Workshop on Privacy in the Electronic Society. Ed.: E. Ayday, 155–171, Association for Computing Machinery (ACM).
Collaborative Distributed Machine Learning
Jin, D.; Kannengießer, N.; Rank, S.; Sunyaev, A.
2024. ACM Computing Surveys.
Improving Anomaly Detection with Adaptive Dynamic Threshold: A Review and Enhanced Method
Attar, A. A.; Fabarisov, T.; Bao, K.; Hagenmeyer, V.
2024. 2024 8th International Conference on System Reliability and Safety (ICSRS), 5 S
A kinematic dataset of locomotion with gait and sit-to-stand movements of young adults
Hanisch, S.; Pogrzeba, L.; Muschter, E.; Li, S.-C.; Strufe, T.
2024. Scientific Data, 11 (1), Art.-Nr.: 1209.
Retriever: A View-Based Approach to Reverse Engineering Software Architecture Models
Kirschner, Y. R.; Gstür, M.; Sağlam, T.; Weber, S.; Koziolek, A.
2025. Journal of Systems and Software, 220, 112277.
Towards Bringing Vitruvius into the Cloud
Armbruster, M.; Weber, T.; König, L.
2024. Softwaretechnik-Trends, 18–20, Gesellschaft für Informatik (GI)
Performance Factors of Proxy Objects in the Eclipse Modeling Framework
Armbruster, M.
2024. Softwaretechnik-Trends, 42–44, Gesellschaft für Informatik (GI)
Scalability of Consistency Preservation with Vitruvius
Jutz, B.; Weber, T.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
The Influence of Granularity of Transactions on Performance in Vitruvius
Weber, T.; Jutz, B.; Zacouris, Z.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Informationspflichten und Einwilligung bei der Nutzung von PIMS: Probleme und Potenziale der Einwilligungsverwaltung de lege lata
Hunter, J. C.; Ebert, A.; Spiecker genannt Döhmann, I.
2024. Zeitschrift für Datenschutz, 14 (11), 603–610
Integrating Security-Enriched Data Flow Diagrams Into Architecture-Based Confidentiality Analysis
Niehues, N.; Arp, B.; Hüller, T.; Schwickerath, F.; Boltz, N.; Hahner, S.
2024. Softwaretechnik-Trends, 44 (4)
Analyzing Cyclic Data Flow Diagrams Regarding Information Security
Arp, B.; Niehues, N.; Hüller, T.; Schwickerath, F.; Boltz, N.; Hahner, S.
2024. Softwaretechnik-Trends, 44 (4)
Towards Deep Reactions in Multi-Level, Multi-View Modeling
Weber, T.; Ojha, M.; Sadeghi, M.; König, L.; Armbruster, M.; Lange, A.; Burger, E.; Atkinson, C.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz Austria, 22nd – 27th September 2024, 760–769, Association for Computing Machinery (ACM).
Managing Variability of Cyber-Physical Production Systems: Towards Consistency Management
Fadhlillah, H. S.; Greiner, S.; Feichtinger, K.; Rabiser, R.; Zoitl, A.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, September 22-27, 2024, at the JKU Linz., 945–949, Association for Computing Machinery (ACM).
Encouraging Users to Change Breached Passwords Using the Protection Motivation Theory
Zou, Y.; Le, K.; Mayer, P.; Acquisti, A.; Aviv, A. J.; Schaub, F.
2024. ACM Transactions on Computer-Human Interaction, 31 (5), 1–45.
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering
Feichtinger, K.; Kegel, K.; Pascual, R.; Aßmann, U.; Beckert, B.; Reussner, R.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz/Wien, 22nd – 27th September 2024, 915–919, Association for Computing Machinery (ACM).
Towards Integrating Low-Code in View-based Development
Hermann, A.-K.; König, L.; Burger, E.; Reussner, R.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering. Ed.: M. Wimmer, 866–875, Association for Computing Machinery (ACM).
Formal Foundations of Consistency in Model-Driven Development
Pascual, R.; Beckert, B.; Ulbrich, M.; Kirsten, M.; Pfeifer, W.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III. Ed.: T. Margaria, 178–200, Springer Nature Switzerland.
X-by-Construction Meets AI
ter Beek, M. H.; Cleophas, L.; Dubslaff, C.; Schaefer, I.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Ed.: T. Margaria, 155–161, Springer Nature Switzerland.
Towards AI-Assisted Correctness-by-Construction Software Development
Kodetzki, M.; Bordis, T.; Kirsten, M.; Schaefer, I.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Ed.: T. Margaria, 222–241, Springer Nature Switzerland.
Intersymbolic AI – Interlinking Symbolic AI and Subsymbolic AI
Platzer, A.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies. Part IV. Ed.: T. Margaria, 162–180, Springer Nature Switzerland.
Pitfalls in Machine Learning for Computer Security
Arp, D.; Quiring, E.; Pendlebury, F.; Warnecke, A.; Pierazzi, F.; Wressnegger, C.; Cavallaro, L.; Rieck, K.
2024. Communications of the ACM, 67 (11), 104–112.
Web Application Penetration Testing with Artificial Intelligence: A Systematic Review
Sánchez, G.; Olayinka, O.; Pasikhani, A.
2024. 2024 22nd International Symposium on Network Computing and Applications (NCA), 24-26 October 2024 Bertinoro, Italy, 236–245, Institute of Electrical and Electronics Engineers (IEEE).
Unlocking the Potential of Composition for General Neighborhood Definitions
Miranda-Pascual, À.; Guerra-Balboa, P.; Parra-Arnau, J.; Strufe, T.
2024. Proceedings of the XVIII Spanish Meeting on Cryptology and Information Security (RECSI), León, 22th – 25st October, 2024
Sharing for Caring? A Patients’ and Clinicians’ View on Handling Personal Medical Data in the Context of Digitization: An Exploratory Study
Frank, K.; Mengesdorf, T.; Radić, M.; Herrmann, P.; Appenzeller, A.; Mucha, H.; Orak, B.; Spiecker gen. Döhmann, I.; Rüping, S.; Burkhardt, H.; Köhm, M.; Dauth, S.
2024. Healthcare, 12 (20), Art.-Nr.: 2053.
Resilience-by-Design in 6G Networks: Literature Review and Novel Enabling Concepts
Khaloopour, L.; Su, Y.; Raskob, F.; Meuser, T.; Bless, R.; Janzen, L.; Abedi, K.; Andjelkovic, M.; Chaari, H.; Chakraborty, P.; Kreutzer, M.; Hollick, M.; Strufe, T.; Franchi, N.; Jamali, V.
2023. IEEE Access, 11.
On Practical Realization of Evasion Attacks for Industrial Control Systems
Erba, A.; Murillo, A. F.; Taormina, R.; Galelli, S.; Tippenhauer, N. O.
2024. Proceedings of the 2024 Workshop on Re-design Industrial Control Systems with Security (RICSS), Association for Computing Machinery (ACM).
Evaluating Drill-Down DDoS Destination Detection
Krack, T.; Kopmann, S.; Zitterbart, M.
2024. 2024 IEEE 49th Conference on Local Computer Networks (LCN), Normandy, France, 08-10 October 2024, Institute of Electrical and Electronics Engineers (IEEE).
Recommendations for Implementing Independent Individual Verifiability in Internet Voting
Moser, F.; Grimm, R.; Hilt, T.; Kirsten, M.; Niederbudde, C.; Volkamer, M.
2024. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024), Gesellschaft für Informatik (GI)
SoK: Mechanisms Used in Practice for Verifiable Internet Voting
Moser, F.; Kirsten, M.; Dörre, F.
2024. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024), Gesellschaft für Informatik (GI)
Design and Evaluation of Verifiable Voting Systems Based on Tracking Code Verification
Nissen, C.; Kulyk, O.; Volkamer, M.; Friedrich, L. E.; Hermansen, H.
2024. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024)
Field Survey of Wireless M-Bus Encryption for Energy Metering Applications in Residential Buildings
Hiller Gaertringen, F. von; Galenzowski, J.; Bao, K.; Waczowicz, S.; Hagenmeyer, V.
2024. ACM SIGEnergy energy informatics review, 4 (4), 193–206.
TLD-READY: Traffic Light Detection ‐ Relevance Estimation and Deployment Analysis
Polley, N.; Pavlitska, S.; Boualili, Y.; Rohrbeck, P.; Stiller, P.; Bangaru, A. K.; Zollnerl, J. M.
2024. 2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC), Edmonton, 24th-27th September 2024, 3800–3806, Institute of Electrical and Electronics Engineers (IEEE).
Exploring Existing Tools for Managing Different Types of Research Data
Freund, A.; Hajiabadi, H.; Koziolek, A.
2024. INFORMATIK 2024 – Jahrestagung der Gesellschaft für Informatik e.V., 2181–2193, Gesellschaft für Informatik (GI).
KI-generierte Abbildungen von Kindesmissbrauch: Technische Grundlagen und rechtliche Einordnung
Steinebach, M.; Hunter, J. C.; Schröder, L.
2024. Informatik 2024 : Tagung vom 24.-26. September 2024, Wiesbaden : Lock-in or log out? – Wie digitale Souveränität gelingt. Hrsg.: M. Klein, 247–261, Köllen Druck+Verlag.
A Collaborative Uncertainty Collection to Address the Awareness Problem of Model-Based Confidentiality Analysis
Hahner, S.; Niehues, N.; Boltz, N.; Fuksa, M.; Heinrich, R.
2024. ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
ARC³N: A Collaborative Uncertainty Catalog to Address the Awareness Problem of Model-Based Confidentiality Analysis
Hahner, S.; Niehues, N.; Boltz, N.; Fuksa, M.; Heinrich, R.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 640–644, Association for Computing Machinery (ACM).
Model Everything but with Intellectual Property Protection – The Deltachain Approach
Weber, T.; Weber, S.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 49–56, Association for Computing Machinery (ACM).
Consistency Management for Security Annotations for Continuous Verification
Reiche, F.; Weber, T.; Becker, S.; Weber, S.; Heinrich, R.; Burger, E.
2024. ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 1096–1105, Association for Computing Machinery (ACM).
Modeling Languages for Automotive Digital Twins: A Survey Among the German Automotive Industry
Pfeiffer, Jérôme; Fuchß, Dominik; Kühn, Thomas; Liebhart, Robin; Neumann, Dirk; Neimöck, Christer; Seiler, Christian; Koziolek, Anne; Wortmann, Andreas
A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis
Kegel, K.; Domanowski, A.; Feichtinger, K.; Pascual, R.; Aßmann, U.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 22.-27.09.2024, Linz, 1046–1055, Association for Computing Machinery (ACM).
Modeling Languages for Automotive Digital Twins : A Survey Among the German Automotive Industry
Pfeiffer, J.; Fuchß, D.; Kühn, T.; Liebhart, R.; Neumann, D.; Neimöck, C.; Seiler, C.; Koziolek, A.; Wortmann, A.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. Ed.: A. Egyed, 92–103, Association for Computing Machinery (ACM).
Machine Learning-Based Feature Selection for Intrusion Detection Systems in IEC 61850-Based Digital Substations
Eynawi, A.; Mumrez, A.; Elbez, G.; Hagenmeyer, V.
2024. 2024 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), 7 S., Institute of Electrical and Electronics Engineers (IEEE).
Importance Analysis of Micro-Flow Independent Features for Detecting Distributed Network Attacks
Kopmann, S.; Zitterbart, M.
2024. IEEE Transactions on Network and Service Management, 1.
HybCBDC: A Design for Central Bank Digital Currency Systems Enabling Digital Cash
Lamberty, R.; Kirste, D.; Kannengießer, N.; Sunyaev, A.
2023. IEEE Access.
LLM-based Control Code Generation using Image Recognition
Koziolek, H.; Koziolek, A.
2024. LLM4Code ’24: Proceedings of the 1st International Workshop on Large Language Models for Code (LLM4 Code), Lissabon, 20th April 2024, 38–45, Association for Computing Machinery (ACM).
LLM-based Control Code Generation using Image Recognition
Koziolek, H.; Koziolek, A.
2024. LLM4Code ’24: Proceedings of the 1st International Workshop on Large Language Models for Code (LLM4 Code), Lissabon, 20th April 2024, 38–45, Association for Computing Machinery (ACM).
How Do Asynchronous Communication Models Impact the Composability of Information Flow Security?
Gerlach, L.; Gerking, C.
2024. Formal Aspects of Component Software – 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings. Ed.: D. Marmsoler, 127 – 145, Springer Nature Switzerland.
An overview of proposals towards the privacy-preserving publication of trajectory data
Miranda-Pascual, À.; Guerra-Balboa, P.; Parra-Arnau, J.; Forné, J.; Strufe, T.
2024. International Journal of Information Security, 23, 3711–3747.
Structuring different manifestations of misinformation for better policy development using a decision tree‐based approach
Hägle, O.; Escher, S.; Heil, R.; Jahnel, J.
2025. Policy & Internet, 17 (2).
Cost-Efficient Construction of Performance Models
Schmid, L.; Saglam, T.; Selzer, M.; Koziolek, A.
2024. 4th Workshop on Performance EngineeRing, Modelling, Analysis, and VisualizatiOn STrategy (PERMAVOST ’24), Pisa, 3rd-4th June 2024, Association for Computing Machinery (ACM).
Variability modeling of products, processes, and resources in cyber-physical production systems engineering
Meixner, K.; Feichtinger, K.; Fadhlillah, H. S.; Greiner, S.; Marcher, H.; Rabiser, R.; Biffl, S.
2024. SPLC ’24 : 28th ACM International Systems and Software Product Line Conference. Volume B. Ed.: M. Cordy, 219, Association for Computing Machinery (ACM).
Seventh International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2024)
Feichtinger, K.; Galasso-Carbonnel, J.
2024. SPLC ’24 : Proceedings of the 28th ACM International Systems and Software Product Line Conference – Volume B. Ed.: M. Cordy, 224, Association for Computing Machinery (ACM).
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Pett, T.; Krieter, S.; Thüm, T.; Schaefer, I.
2024. SPLC ’24: Proceedings of the 28th ACM International Systems and Software Product Line Conference – Volume B. Ed.: M. Cordy, 47–53, Association for Computing Machinery (ACM).
Usability and Understanding of Individual Verifiability in the 2023 GI-Election
Hilt, T.; Matheis, P.; Volkamer, M.
2024. Mensch und Computer 2024 – Workshopband, September 2024, Karlsruhe, Germany, Gesellschaft für Informatik e.V.
“Data Protection Can Sometimes Be a Nuisance” A Notification Study on Data Sharing Practices in City Apps
Drescher, J. N.; Moser, J.; Strangmann, N.; Spinner, J.; Herrmann, D.; Volkamer, M.
2024. Proceedings of Mensch und Computer 2024 (MuC’24). Ed. A. Maedche, 8 S., Association for Computing Machinery (ACM).
Erstellung eines Erklärvideos zur Verwendung von S/MIME (WIP)
Ballreich, F. L.; Volkamer, M.
2024. Mensch und Computer 2024 (MuC), Gesellschaft für Informatik (GI).
Modeling and Analyzing Zero Trust Architectures Regarding Performance and Security
Boltz, N.; Schmid, L.; Taghavi, B.; Gerking, C.; Heinrich, R.
2024. Software Architecture : 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024 ; Proceedings. Ed.: M. Galster, 253–269, Springer.
Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models
Weber, S.; Henß, J.; Taghavi, B.; Weber, T.; Stüber, S.; Marin, A.; Rumpe, B.; Heinrich, R.
2024. Software Architecture. ECSA 2024 Tracks and Workshops – Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings. Ed.: A. Ampatzoglou, J. Pérez, B. Buhnova, V. Lenarduzzi, C. C. Venters, U. Zdun, K. Drira, L. Rebelo, D. Di Pompeo, M. Tucci, E. Y. Nakagawa, E. Navarro, 30 – 38, Springer Nature Switzerland.
Architecture-based Issue Propagation Analysis
Speth, S.; Krieger, N.; Heinrich, R.; Becker, S.
2024. Software Architecture : 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024 ; Proceedings. Ed.: M. Galster, 121–137, Springer.
A Brief Systematization of Explanation-Aware Attacks
Noppel, M.; Wressnegger, C.
2024. KI 2024: Advances in Artificial Intelligence – 47th German Conference on AI, Würzburg, Germany, September 25–27, 2024, Proceedings. Ed.: A. Hotho, 350–354, Springer Nature Switzerland.
Composition in Differential Privacy for General Granularity Notions
Guerra-Balboa, P.; Miranda-Pascual, À.; Parra-Arnau, J.; Strufe, T.
2024. 2024 IEEE 37th Computer Security Foundations Symposium (CSF), 8th-12th July 2024.
Inconsistencies in Production Workflows and How to Model Them
Kuder, N. D.; Weber, T.; Schneider, J.; Weber, S.; Völk, T. A.; Albers, A.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th – 8th June 2024, 84 – 86, Institute of Electrical and Electronics Engineers (IEEE).
MoCoRe – A Generic Model-Driven Composition and Rule-Based Refinement Framework
Gstür, M.; Kirschner, Y. R.; Singh, S.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th – 8th June 2024, 273 – 280, Institute of Electrical and Electronics Engineers (IEEE).
Towards a Single Source of Truth with a Freely Shareable Deltachain
Weber, T.; Weber, S.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th -8th June 2024, 92 – 94, Institute of Electrical and Electronics Engineers (IEEE).
Wirkung von Webshop-Gütesiegeln – Perspektive der Nutzenden
Aldag, L.; Hennig, A.; Volkamer, M.
2024. Datenschutz und Datensicherheit – DuD, 48 (8), 526–531.
SMILE4VIP: Intervention to Support Visually Impaired Users Against Phishing
Bohlender, M.; Morisco, R.; Mossano, M.; Schwarz, T.; Volkamer, M.
2024. 2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Vienna, 8th-12th July 2024, 650 – 657, Institute of Electrical and Electronics Engineers (IEEE).
Quantum Lattice Enumeration in Limited Depth
Bindel, N.; Bonnetain, X.; Tiepelt, M.; Virdia, F.
2024. Advances in Cryptology – CRYPTO 2024 – 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2024, Proceedings, Part VI. Ed.: L. Reyzin, 72 – 106, Springer Nature Switzerland.
7D: Demonstrating Drill-Down DDoS Destination Detection
Kopmann, S.; Krack, T.; Zitterbart, M.
2024. 2024 IEEE International Conference on Machine Learning for Communication and Networking (ICMLCN), Stockholm, 5th-8th May 2024, 1–2, Institute of Electrical and Electronics Engineers (IEEE).
Of Mothers and Managers – The Effect of Videos Depicting Gender Stereotypes on Women and Men in the Security and Privacy Field
Gerber, N.; Stöver, A.; Mayer, P.
2024. Proceedings of the Twentieth Symposium on Usable Privacy and Security, Advanced Computing Systems Association (USENIX)
On the influence of conventional and automated market makers on market quality in cryptoeconomic systems
Kirste, D.; Poddey, A.; Kannengießer, N.; Sunyaev, A.
2024. Electronic Markets, 34 (1), Art.-Nr.: 42.
A conceptual and architectural characterization of antifragile systems
Grassi, V.; Mirandola, R.; Perez-Palacin, D.
2024. Journal of Systems and Software, 213, Art.-Nr.: 112051.
DDS Security+: Enhancing the Data Distribution Service With TPM-based Remote Attestation
Wagner, P. G.; Birnstill, P.; Beyerer, J.
2024. Proceedings of the 19th International Conference on Availability, Reliability and Security, Art.-Nr.: 159, Association for Computing Machinery (ACM).
Is Personalization Worth It? Notifying Blogs about a Privacy Issue Resulting from Poorly Implemented Consent Banners
Kriecherbauer, T.; Schwank, R.; Krauss, A.; Neureither, K.; Remme, L.; Volkamer, M.; Herrmann, D.
2024. ARES ’24: Proceedings of the 19th International Conference on Availability, Reliability and Security, 1–7, Association for Computing Machinery (ACM).
Compact FE for unbounded attribute-weighted sums for logspace from SXDH
Datta, P.; Pal, T.; Takashima, K.
2024. Designs, Codes, and Cryptography.
Hybrid dynamical systems logic and its refinements
Platzer, A.
2025. Science of Computer Programming, 239, Art.-Nr.: 103179.
Automated Reverse Engineering for MoM-Based Microservices (ARE4MOM) Using Static Analysis
Singh, S.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture (ICSA), Hyderabad, 4th-8th June 2024, 12–22, Institute of Electrical and Electronics Engineers (IEEE).
Efficiently Explained: Leveraging the SEEV Cognitive Model for Optimal Explanation Delivery
Bairy, A.; Fränzle, M.
2024. Advances in Human Factors of Transportation. Ed.: G. Praetorius, 307–315, AHFE International.