On Converting Natural Language Requirements into Semi-Formal Templates Using LLMs
Roßkothen, J.; Fuchß, D.; Erdösi, F.; Floruß, M.; Keim, J.; Hey, T.
2026. 2026 IEEE 34th International Requirements Engineering Conference (RE)
Publications
Our interdisciplinary research is reflected in the outstanding publications of KASTEL Security Research Labs.
Criminal Minds: A Plagiarism Study about Getting Away With It (for Science)
Maisch, R.; Schmid, L.; Glassey, R.
2026. Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 2 (ITiCSE 2026), Madrid, 13th-15th July 2026, Association for Computing Machinery (ACM).
Implementing and Evaluating the Usability of Reliable Voter Complaints in E2E Verifiable Remote Electronic Voting
Hilt, T.; Mack, C.; Matheis, P.; Berens, B.; Länge, T.; Haenni, R.; Koenig, R. E.; Locher, P.; Volkamer, M.
2026. 11th IEEE European Symposium on Security and Privacy (EuroS&P)
Architecture in the Cradle: Early Warning of Architectural Decay with ArchGuard
Liu, H.; Fuchß, D.; Corallo, S.; Hummel, M.; Keim, J.; Hey, T.
2026. 23rd IEEE International Conference on Software Architecture (ICSA 2026), Institute of Electrical and Electronics Engineers (IEEE)
Quantum-Resistant Crypto-Agile Inline Authentication and Encryption Framework for IEC 61850 Digital Substations
Gstür, M.; Ramadan, M.; Hagenmeyer, V.
2026. ACM Sustainability Week ’26: Proceedings of the 2026 ACM Sustainability Week, 1–8, Association for Computing Machinery (ACM).
GridStratLLM: Agent Framework for Coordinated Cyberattacks on the Smart Grid with Large Language Models
Kellerer, N.; Hagenmeyer, V.
2026. ACM Sustainability Week ’26: Proceedings of the 2026 ACM Sustainability Week, 110–123, Association for Computing Machinery (ACM).
Secure and Efficient Attribute-Based Signature Scheme for Substation Automation Systems
Ramadan, M.; Gstür, M.; Gadekar, P.; Elbez, G.; Hagenmeyer, V.
2026. Computer Security: ESORICS 2025 International Workshops – DPM 2025, CBT 2025, CyberICPS 2025, Toulouse, France, September 25–26, 2025, Revised Selected Papers, Part I. Ed.: R. Laborde, 523–540, Springer Nature Switzerland.
Automated Market Makers in Cryptoeconomic Systems: A Taxonomy and Archetypes
Kirste, D.; Kannengießer, N.; Lamberty, R.; Sunyaev, A.
2026. ACM Computing Surveys, 58 (5), 1–37.
Performance and Security of TEE-Based Threshold Cryptography
Haller, M.; Leinweber, M.; Spannagel, T.; Raiber, M.; Hartenstein, H.
2026. SysTEX’26: Proceedings of the 9th Workshop on System Software for Trusted Execution, 42–49, Association for Computing Machinery (ACM).
A process to enforce ethical requirements of autonomous systems at runtime
De Sanctis, M.; Filippone, G.; Inverardi, P.; Mirandola, R.; Pettinari, S.; Scandurra, P.
2026. 21th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2026, 1–6, Institute of Electrical and Electronics Engineers (IEEE).
Why Johnny Checks but Doesn’t Alert: Reporting as the Missing Step in Verifiable Internet Voting
Hilt, T.; Mack, C.; Berens, B.; Volkamer, M.
2026. Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems (CHI ’26).
Development, Evaluation, and Implementation of SEQR — a Usable Secure QR Code Scanner
Mossano, M.; Fabian Veit, M.; Länge, T.; Maximilian Berens, B.; Sharevski, F.; Volkamer, M.
2026. Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems, 1–33, Association for Computing Machinery (ACM).
Do Citizens Agree with the EU AI Act? Public Perspectives on Risk and Regulation of AI Systems
Lima, G.; Gil Gasiola, G.; Zufall, F.; Zou, Y.
2026. Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems, 1–24, Association for Computing Machinery (ACM).
An Experience Report on a Pedagogically Controlled, Curriculum-Constrained AI Tutor for SE Education
Happe, L.; Fuchß, D.; Hüttner, L.; Marquardt, K.; Koziolek, A.
2026. Proceedings of the 48th International Conference on Software Engineering: Software Engineering Education and Training; Rio de Janeiro, Brasilien, 12.-18.04.2026, Association for Computing Machinery (ACM).
Too Hot To Handle: The Effects of Temperature on AI-Generated Code Used to Cheat in Programming Assignments
Maisch, R.; Sağlam, T.; Schmid, L.; Hahner, S.; Hey, T.
2026. Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Companion Proceedings (ICSE ’26).
Same Same But Different: Preventing Refactoring Attacks on Software Plagiarism Detection
Maisch, R.; Schmid, L.; Sağlam, T.; Niehues, N.
2026. IEEE/ACM 48th International Conference on Software Engineering (ICSE ’26), Association for Computing Machinery (ACM).
Who’s Who? LLM-assisted Software Traceability with Architecture Entity Recognition
Fuchß, D.; Liu, H.; Corallo, S.; Hey, T.; Keim, J.; von Geisau, J.; Koziolek, A.
2026. ACM Transactions on Autonomous and Adaptive Systems.
Guidelines for Usable Security Interventions
Berens, B. M.; Mossano, M.; Veit, M.; Hennig, A.; Volkamer, M.
2026. Festschrift in Honour of M. Angela Sasse. Ed. by Steven J. Murdoch, Ingolf Becker, Simon Parkin, Ruba Abu-Salma, Sacha Brostoff, 28 S
S/MIME verstehen in 5 Minuten – Entwicklung und Evaluation eines Erklärvideos
Ballreich, F. L.; Volkamer, M.
2026. Datenschutz und Datensicherheit – DuD, 50 (3), 164–167.
Criminal Minds: How First-Year CS Students Plagiarize Code
Maisch, R.; Schmid, L.; Glassey, R.; Fuchß, D.; Niehues, N.; Liu, H.; Koziolek, A.
2026. 34th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE Companion ’26), July 5–9, 2026, Montreal, QC, Canada, Association for Computing Machinery (ACM).
Leveraging Large Language Models for supporting Cyber Threat Analysis
Rybinski, Fabian; Schiefer, Gunther; Frister, Demian; Malekzadeh Mahani, Marzieh
1th 2025 International Conference on Recent Advances in Information Systems (2025), Pointe aux Piments, Mauritius, 10.09.2025 – 12.09.2025
Differential elimination and algebraic invariants of polynomial dynamical systems
Simmons, W.; Platzer, A.
2026. Theoretical Computer Science, 1074, 115925.
Collaborative distributed machine learning: a path to strengthen data privacy
Rank, S.; Jin, D.; Kannengießer, N.; Sunyaev, A.
2026. Research Handbook on Digital Data: Interdisciplinary Perspectives. Ed.: A. Aaltonen , M. Stelmaszak, K. Lyytinen, 343–357, Edward Elgar Publishing.
Assorter-Based RLAs for Complex Sainte-Laguë Elections: Reducing sample sizes by trusting manually counted ballots
Budurushi, J.; Hilt, T.; Mack, C.; Teague, V.; Volkamer, M.
2026. Voting’26, Springer
Show Me What You Got: Vulnerabilities of Industrial Components Revealed by Automated Blackbox Testing:
Borcherding, A.; Giraud, M.; Tzigiannis, L.
2026. Proceedings of the 12th International Conference on Information Systems Security and Privacy, 240–251, SciTePress.
“I found the text to be encouraging” – Evaluating Different Password Strength Calculator Designs
Doneva, R.; Hennig, A.; Mayer, P.
2026. Symposium on Usable Security and Privacy (USEC) 2026, 27 February 2026, San Diego, CA, USA. Ed.: K. Seamons.
From Matrix to Metrics: Introducing and Applying a Configuration Matrix to Evaluate DMARC Policies
Länge, T.; Ballreich, F. L.; Hennig, A.; Mayer, P.; Volkamer, M.
2026. Workshop on Measurements, Attacks, and Defenses for the Web (MADWeb) 2026 : Co-located with NDSS Symposium 2026, San Diego, CA, 23rd February – 27th February 2026.
A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI
Amalfitano, D.; Metzger, A.; Autili, M.; Fulcini, T.; Hey, T.; Keim, J.; Pelliccione, P.; Scotti, V.; Koziolek, A.; Mirandola, R.; Vogelsang, A.
2026. ACM Transactions on Software Engineering and Methodology.
A Taxonomy of Collusion in Information Systems
Armbruster, K.; Kannengießer, N.; Beyene, M.; Ciolacu, G.; Sunyaev, A.
2026. Proceedings of the 59th Hawaii International Conference on System Sciences, Maui, HI, 6th-9th January 2026, 5663–5672
Improving disaster preparedness through public-private collaboration – dual-use warehouses for food supply
Löffel, M.; Diehlmann, F.; Zienau, A.; Lüttenberg, M.; Wiens, M.; Wagner, S. M.; Schultmann, F.
2026. Production Planning and Control, 1–25.
Comentário ao Art. 24 da LGPD
Gasiola, G. G.; Venturini, O.
2026. Lei Geral de Proteção de Dados Pessoais Comentada: Eds.: Mendes, Laura Schertel; Rosal, Isabela Maria; Fernandes, Elora, 552–558, Forense
Comentário ao Art. 23 da LGPD
Gasiola, G. G.; Venturini, O.
2026. Lei Geral de Proteção de Dados Pessoais Comentada: Eds.: Mendes, Laura Schertel; Rosal, Isabela Maria; Fernandes, Elora, 540–550, Forense
Beyond gaze points: augmenting eye movement with brainwave data for multimodal user authentication in extended reality
Fallahi, M.; Arias-Cabarcos, P.; Strufe, T.
2026. Complex & Intelligent Systems, 12 (1), 39.
A self-sustainable service assembly for decentralized computing environments
Caporuscio, M.; D’Angelo, M.; Grassi, V.; Mirandola, R.; Ricci, F.
2026. Journal of Systems and Software, 235, 112755.
RAdaptSQ: Real-Time AI-Planning and Environment-Aware Self-Adaptation to Optimize Security and QoS
Cui, L.; Mirandola, R.
2025. Softwaretechnik-Trends, 45 (4)
Enabling a Model-Driven Workflow for Ongoing Interdisciplinary Collaboration in Legal Threat Modeling
Boltz, N.; Sterz, L.; Raabe, O.; Gerking, C.
2025. Information & software technology
Towards dynamic views on heterogeneous models – the NeoJoin view definition language
König, L.; Stickling, T.; Burger, E.
2025. Joint Proceedings of the STAF 2025 Workshops: OCL, OOPSLE, LLM4SE, ICMM, AgileMDE, AI4DPS, and TTC co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2025), CEUR-WS
Fix it – If you Can! Towards Understanding the Impact of Tool Support and Domain Owners’ Reactions to SSHFP Misconfigurations
Hennig, A.; Neef, S.; Mayer, P.
2025. Kapil Singh, Gianluca Stringhini, Nick Nikiforakis, 104682, Elsevier
Laconic Cryptography with Preprocessing
Bhadauria, R.; Döttling, N.; Hazay, C.; Lin, C.
2026. Advances in Cryptology – ASIACRYPT 2025 – 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, VIC, Australia, December 8–12, 2025, Proceedings, Part V. Ed.: G. Hanaoka, 228–261, Springer Nature Singapore.
Risks Posed by Wearables to Data Protection in Sports Science as Identified by User Studies
Sikra, J.
2025. Proceedings of the DiTraRe Symposium on Digitalisation of Research 2025, Karlsruhe, 2nd-3rd December 2025
A Short Commentary On: “Would John Dewey wear a Fitbit? A pragmatist analysis of self-tracking technologies’ impact on habit formation”
Sikra, J.; Dimitrova, D.; Singson, L. S.
2025. Proceedings of the DiTraRe Symposium on Digitalisation of Research 2025 Karlsruhe, 2nd – 3rd December 2025, Zenodo
Axiomatization of Compact Initial Value Problems: Open Properties
Platzer, A.; Qian, L.
2025. Journal of the ACM, 72 (6), Art.-Nr.: 41.
Sabot: Efficient and Strongly Anonymous Bootstrapping of Communication Channels
Coijanovic, C.; Hetz, L.; Paterson, K. G.; Strufe, T.
2025. Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Taipeh, 13th-17th October 2025, 558–572, Association for Computing Machinery (ACM).
On the Trade-Off between Degree of Decentralization and Scalability in Proof-of-Stake–based Blockchain Systems
Normann, F. von; Aliyu, M. M.; Kannengießer, N.; Le, L. B. Q.; Heinrich, R.; Sunyaev, A.
2025. 2025 7th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Zürich, 18th-21st November 2025, 1–9, Institute of Electrical and Electronics Engineers (IEEE).
Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+
Grundmann, M.; Hartenstein, H.
2025. 20th International Conference on Integrated Formal Methods, iFM 2025, Paris, 17th-21st November 2025, Springer
Safe Temperature Regulation: Formally Verified and Real-World Validated
Isasa, C.; Abou El Wafa, N.; Gomes, C.; Larsen, P. G.; Platzer, A.
2026. Integrated Formal Methods – 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings. Ed.: F. Damiani, 143–161, Springer Nature Switzerland.
Explainability in Automated Cross-Domain Model-Driven Brake System Development
Hagel, N.; Mäkelburg, J.; Hammann, C.; Weber, T.; Völk, T. A.; Urbano, F. P.; Grycz, P.; Bause, K.; Kaushik, M.; Scotti, V.; Bairy, A.; Schwammberger, M.; Acosta, M.; Albers, A.; Koziolek, A.; Düser, T.
2025. 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Seoul, 16th-20th November 2025, 204–211, Institute of Electrical and Electronics Engineers (IEEE).
Price Oracle Accuracy Across Blockchains: A Measurement and Analysis
Gansäuer, R.; Ben Aoun, H.; Droll, J.; Hartenstein, H.
2025. Financial Cryptography and Data Security. FC 2025 International Workshops. Ed.: B. Haslhofer, 32–46, Springer Nature.
Towards Bringing Vitruvius into the Cloud II: Against Attacks from the Internet
Armbruster, M.; Chebbi, F.; Weber, T.; Koziolek, A.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik, Gesellschaft für Informatik (GI)
The whos, whats, and whys of issues related to personal data and data protection in open-source projects on GitHub
Hennig, A.; Schulte, L.; Herbold, S.; Kulyk, O.; Mayer, P.
2025. Empirical Software Engineering, 31 (1), 9.
Generation of Checkpoints for Hardware Architecture Simulators
Weber, S.; Weber, L.; Weber, T.; Henß, J.; Heinrich, R.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Machine Learning Surrogate Models for Performance Prediction with Architectural Models
Weber, S.; Pace, V.; Weber, T.; Henß, J.; Heinrich, R.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Towards Scalability Analysis of State-based Model Comparison
Armbruster, M.; Mazkatli, M.; Genç, A. T.; Koziolek, A.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
HubLink: A Novel Question Answering Retrieval Approach over Knowledge Graphs
Kaplan, A.; Keim, J.; Schneider, M.; Reussner, R. H.
2025. RAGE-KG 2025: The Second International Workshop on Retrieval-Augmented Generation Enabled by Knowledge Graphs, co-located with ISWC 2025, November 2–6, 2025, Nara, Japan. Ed.: Jennifer D., CEUR-WS
Erklärbarkeit von KI‑Systemen unter der KI‑Verordnung — Vorgaben der KI‑VO für Hochrisiko-KI‑Systeme im Lichte aktueller Erklärverfahren aus dem Feld der Explainable AI (XAI)
Becker, M.; Birnstill, P.; Ebert, A.
2025. Computer und Recht, 41 (11), 701–708.
Quest for quality: a review of design knowledge on gamified AI training data annotation systems
Krohmann, S.; Rank, S.; Schmidt-Kraepelin, M.; Thiebes, S.; Sunyaev, A.
2025. Behaviour & Information Technology, 1–26.
Extracting Uncertainty Estimates from Mixtures of Experts for Semantic Segmentation
Pavlitska, S.; Keskin, B.; Faßbender, A.; Hubschneider, C.; Zöllner, J. M.
2025. 2025 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW), 311–320, Institute of Electrical and Electronics Engineers (IEEE).
Robust Experts: the Effect of Adversarial Training on CNNs with Sparse Mixture-of-Experts Layers
Pavlitska, S.; Fan, H.; Ditschuneit, K.; Zöllner, J. M.
2025. 2025 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW), 251–260, Institute of Electrical and Electronics Engineers (IEEE).
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models
Corbo, S.; Bancale, L.; Gennaro, V. D.; Lestingi, L.; Scotti, V.; Camilli, M.
2025. IEEE Transactions on Software Engineering.
Offene und subkutane Zielkonflikte zwischen KI-VO und DSGVO – Das Zusammenspiel zwischen Vertrauenswürdigkeit von KI und Vertrauen in Datenverarbeitung als grundlegende Herausforderung
Winau, M.; Spiecker genannt Döhmann, I.
2025. Computer und Recht : CR ; Zeitschrift für die Praxis des Rechts der Informationstechnologien, (10), 647–654
Proactive self-adaptation and assurance of explainable Human–Machine Teaming
Lestingi, L.; Bersani, M. M.; Camilli, M.; Mirandola, R.; Rossi, M.; Scandurra, P.
2026. Journal of Systems and Software, 232, Art.-Nr.: 112657.
BFId: Identity Inference Attacks Utilizing Beamforming Feedback Information
Todt, J.; Morsbach, F.; Strufe, T.
2025. Proceedings of 32nd ACM SIGSAC Conference on Computer and Communications Security (CCS ’25), Taipei, October 13–17, 2025, Association for Computing Machinery (ACM).
Feedback-driven Autonomous Data Set Labeling for Denial-of-Service Attack Traffic
Kopmann, S.; Lachos, D.; Zitterbart, M.
2025. 2025 IEEE 50th Conference on Local Computer Networks (LCN), Sydney, Australia, 13-16 October 2025, Institute of Electrical and Electronics Engineers (IEEE).
NOTHORG; A digital twin for ECU security testing
Wehmer, M.; Diestl, J.; Waibel, D.; Baumgart, I.
2025. Proceedings of the 2025 Cyber Security in CarS Workshop (CSCS ’25), 9 S., Association for Computing Machinery (ACM).
Towards the Derivation of Encryption Rules for Encryption-Based Access Control for Delta-Based Model Representations — The DEBAC Approach
Weber, T.; Quellmalz, K.; Benz, L.; Weber, S.; Burger, E.; Reussner, R.
2025. Second International Workshop on Model Management (MoM), co-located with the 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025), Grand Rapids, MI, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
PETs and AI: Privacy Washing and the Need for a PETs Evaluation Framework (Dagstuhl Seminar 25112)
Cristofaro, E. De; Shrishak, K.; Strufe, T.; Troncoso, C.; Morsbach, F.
2025. Dagstuhl Reports, 15 (3), 77–93.
X-by-Construction: Towards Ensuring Non-functional Properties in by-Construction Engineering
Kodetzki, M.; Bordis, T.; Potanin, A.; Schaefer, I.
2025. Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 99–115, Association for Computing Machinery (ACM).
An Initial Exploration of MULTI Level Modeling for Model-Based Systems Engineering
Lange, A.; Cederbladh, J.; Feichtinger, K.; Weber, T.
2025. INCOSE International Symposium, 348–363.
Can Large Language Models Autoformalize Kinematics?
Kabra, A.; Laurent, J.; Bharadwaj, S.; Martins, R.; Mitsch, S.; Platzer, A.
2025. A. Irfan & D. Kaufmann (Hrsg.), Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025, Menlo Park, 6th-10th October 2025, TU Wien.
What can we learn from other Domains – An exploratory process for the extension of a language based on cross-domain knowledge transfer
Jutz, B.; Zacouris, Z.; Weber, T.; Acosta, M.; Reussner, R.; Burger, E.
2025. Proceedings of the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems, Grand Rapids, MI, USA, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
Modeling the MoM 2025 Satellite Configuration Challenge with Vitruvius
Jutz, B.; Weber, T.; Lange, A.; Dehghani, R.; Jiang, B.; Armbruster, M.; Feichtinger, K.; Hagel, N.; Kaushik, M.; König, L.; Mazkatli, M.; Minhas, M. A.; Neumann, D.; Burger, E.; Koziolek, A.; Reussner, R.
2025. Second International Workshop on Model Management (MoM), co-located with the 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025), Grand Rapids, MI, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)
Runtime Safety Monitoring of Deep Neural Networks for Perception: A Survey
Schotschneider, A.; Pavlitska, S.; Zöllner, M.
2025. IEEE International Conference on Systems, Man, and Cybernetics (SMC 2025), Institute of Electrical and Electronics Engineers (IEEE)
How and Why is Change Modeled? – A Scoping Literature Review
Weber, T.; Cederbladh, J.; Weber, S.; Lange, A.; Cicchetti, A.; Reussner, R.
2025. Models and Evolution Workshop, Institute of Electrical and Electronics Engineers (IEEE)
Transforming Relational Model Queries to Triple Graph Grammars
König, L.; Ritz, D.; Burger, E.
2025. 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C); Grand Rapids, MI, USA, 05.-10.10.2025, 752–761, Institute of Electrical and Electronics Engineers (IEEE).
Die Regulierung von OTT-Diensten im Wandel der Zeit – Von der ersten E-Mail zum allgegenwärtigen Kommunikationsmedium
Hunter, J.; Heun, S.-E.
2025. Computer und Recht / International, (10), 682–689
On a Study of Mechanisms for End-to-End Verifiable Online Voting (StuVe)
Cortier, V.; Debant, A.; Küsters, R.; Moser, F.; Müller, J.; Volkamer, M.
2025. Electronic Voting – 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings, Gesellschaft für Informatik (GI)
Die gemeinsame Verantwortlichkeit staatlicher Akteure bei der Nutzung sozialer Netzwerke
Dieler, P.
2025. Kommunikation & Recht, 28 (10), 608–614
From Data-Compliance to Model-Introspection: Challenges in AV Rule Compliance Monitoring
Rakow, A.; Gasiola, G. G.; Grundt, D.; Collenette, J.; Möhlmann, E.; Schwammberger, M.
2025. 2025 IEEE International Automated Vehicle Validation Conference, 30 September – 2 October, Baden-Baden, Institute of Electrical and Electronics Engineers (IEEE)
Exploring Semantic Clustering and Similarity Search for Heterogeneous Traffic Scenario Graphs
Mütsch, F.; Zipf, M.; Polley, N.; Zöllner, J. M.
2025. 2025 IEEE International Automated Vehicle Validation Conference (IAVVC), Baden-Baden, 30th September – 02nd October 2025, 1–7, Institute of Electrical and Electronics Engineers (IEEE).
DigiT4TAF – Bridging Physical and Digital Worlds for Future Transportation Systems
Zipfl, M.; Zwick, P.; Schulz, P.; Zofka, M. R.; Schotschneider, A.; Gremmelmaier, H.; Marschall, S.; Stark, A.; Müller, M.; Wehmer, M.; Viehl, A.; Zöllner, J. M.; Polley, N.; Mütsch, F.; Simon, K.; Gottselig, F.; Frey, M.; Kocsis, M.; Waldenmayer, D.; Schnepf, F.; Heinrich, E.; Pletz, S.; Zöllner, R.; Kölle, M.; Langbein-Euchner, K.
2025. 2025 IEEE International Automated Vehicle Validation Conference (IAVVC), 30th September 2025 – 2nd October 2025, Baden-Baden, 1–8, Institute of Electrical and Electronics Engineers (IEEE).
Modeling the composition of analysis components and automatic constraint checking for semantic soundness
Taghavi, B.; Weber, S.; Marin, A.; Rumpe, B.; Stüber, S.; Henss, J.; Weber, T.; Heinrich, R.
2025. The journal of systems and software, 231.
Semi-competitive Differential Game Logic
Butte, J.; Platzer, A.
2026. Automated Reasoning with Analytic Tableaux and Related Methods – 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings. Ed.: G. Pozzato, 278–295, Springer Nature Switzerland.
HADES: Detecting and Investigating Active Directory Attacks via Whole Network Provenance Analytics
Liu, Qi; Bao, Kaibin; Hassan, Wajih Ul; Hagenmeyer, Veit
Towards a Systematic Risk Assessment of Deep Neural Network Limitations in Autonomous Driving Perception
Pavlitska, S.; Gerking, C.; Zöllner, J. M.
2025. “European Symposium on Research in Computer Security (ESORICS) – Workshops”
Das integrierte Konformitätsbewertungsverfahren der KI-VO am Beispiel eines KMU im medizinischen Sektor
Dieler, P.; Wiens, M.
2025. INFORMATIK 2025. Hrsg.: U. Lucke, 113, Gesellschaft für Informatik (GI).
Datenschutzkonforme Altersverifikation im Internet: Zuverlässiger Jugendschutz bei datenschutzfreundlicher Ausgestaltung
Hunter, J.; Steinebach, M.; Yannikos, Y.
2025. INFORMATIK 2025: The Wide Open: Offenheit von Source bis Science, Potsdam, 16th – 19th September 2025, Gesellschaft für Informatik (GI).
An Overview of Competency Areas in Artifact Evaluation
Armbruster, M.; Bernoth, J.
2025. INFORMATIK 2025. Hrsg.: U. Lucke, 1249–1253, Gesellschaft für Informatik (GI).
Towards Legal Knowledge Transfer Based on Software Architecture
Boltz, N.; Wagner, J.; Sterz, L.; Raabe, O.; Gerking, C.
2025. Software Architecture : 19th European Conference (ECSA 2025), Limassol, CY, September 15–19, 2025
AutoPulse – Reproducible Discovery of Electromagnetic Fault Injection Vulnerabilities
Wehmer, M.; Staab, M.; Kramer, J.; Baumgart, I.
2025. 2025 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), 1–12, Institute of Electrical and Electronics Engineers (IEEE).
Grand Challenges in Human-Centered Privacy
Abu-Salma, R.; Anthonysamy, P.; Benenson, Z.; Berens, B.; Coopamootoo, K. P. L.; Gutmann, A.; Jenkins, A.; Patil, S.; Preibusch, S.; Schaub, F.; Seymour, W.; Such, J.; Tahaei, M.; Tuncdogan, A.; Kleek, M. V.; Wilkinson, D.
2025. IEEE Security & Privacy, 23 (4), 103–110.
“It sounds like automation” – Towards Users’ Understanding of Adaptive Systems
Hennig, A.; Mossano, M.; Aldag, L.; Veit, M. F.; Volkamer, M.
2025. Proceedings of the 2025 Conference on Mensch und Computer (MuC’25), Association for Computing Machinery (ACM)
Development and Expert Evaluation of an Informative Video Concerning Verifiable Internet Voting
Hilt, T.; Moser, F.; Matheis, P.; Volkamer, M.
2026. Electronic Voting – 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings. Ed.: D. Duenas-Cid, 107–123, Springer Nature Switzerland.
Attack Once, Compromise All? On the Scalability of Attacks
Hetzel, E.; Nemes, M.; Müller-Quade, J.
2025. Electronic Voting – 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings. Ed.: D. Duenas-Cid, 90–106, Springer Nature Switzerland.
Voting Under Pressure: Perceptions of Counter-Strategies in Internet Voting
Nissen, C.; Hilt, T.; Budurushi, J.; Volkamer, M.; Kulyk, O.
2026. Electronic Voting – 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings. Ed.: D. Duenas-Cid, 158–174, Springer Nature Switzerland.
Do (Not) Tell Me About My Insecurities: Assessing the Status Quo of Coordinated Vulnerability Disclosure in Germany Amid New EU Cybersecurity Regulations
Neef, S.; Schlunke, C.; Hennig, A.
2025. Proceedings of the 2025 European Symposium on Usable Security (EuroUSEC ’25)
Counterfactual Self-adaptation in Cyber-Physical Systems
Elahi, E.; Camilli, M.; Mirandola, R.
2025. DSD/SEAA 2025, Springer
Towards Graph-based Self-learning of Industrial Process Behaviour for Anomaly Detection
Meshram, A.; Karch, M.; Haas, C.; Beyerer, J.
2025. Procedia Computer Science, 270, 3913–3923.
“I tell him everything that I do”: An investigation of privacy and safety implications of AI companion usage
Henriksen, A.; Asadi, R.; Gerdes, A.; Kulyk, O.; Mayer, P.
2025. 2025 European Symposium on Usable Security – Digital Security Hub (DiSH), Institute of Electrical and Electronics Engineers (IEEE)
FAIR4EDTECH: Towards an Artifact Evaluation Track
Bernoth, J.; Heinemann, B.; Ehlenz, M.; Armbruster, M.; Lucke, U.
2025. 23. Fachtagung Bildungstechnologien (DELFI 2025). Hrsg.: V. Köppen, 245–249, Gesellschaft für Informatik (GI).
Portest: Port Scan Detection on Non-Programmable Switches using TCAM and Randomized Algorithm
Krack, T.; Zitterbart, M.
2025. Proceedings of the 1st Workshop on Next-Generation Network Observability, SIGCOMM 2025, 51–57, Association for Computing Machinery (ACM).