Enabling Informed Caution: Evaluating an Informative Video with Election Organizers
Hilt, T.; Mack, C.; Volkamer, M.
2027. Proceedings of the Annual Hawaii International Conference on System Sciences (HICSS)
Publications
Our interdisciplinary research is reflected in the outstanding publications of KASTEL Security Research Labs.
Revisiting the Security-Usability Tradeoff in Internet Voting: A Replication Study Beyond University Populations
Hilt, T.; Mack, C.
2027. Proceedings of the Annual Hawaii International Conference on System Sciences (HICSS)
The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Architecture Traceability
Keim, J.; Fuchß, D.; Corallo, S.; Hey, T.; Winter, J.; Feichtinger, K.
2026. 2026 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), Association for Computing Machinery (ACM).
The EVerest Dataset for Secure Software Engineering
Corallo, S.; Grupp, D.; Fuchß, D.; Keim, J.; Reiche, F.; Hey, T.; Koziolek, A.
2026. 2026 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), Association for Computing Machinery (ACM).
How ViT Backdoors Affect Post-Hoc Explanations and What this Means for XAI-based Defenses
Wressnegger, C.; Nicolai Neuer, M. N.
2026. Proc. of 29th International Symposium on Research in Attacks, Intrusions and Defenses (RAID), October 2026
OmniSphinx: Active Mix Networks
Schadt, D.; Coijanovic, C.; Shabani, S.; Strufe, T.
2027. Computer Security – ESORICS 2026 : 31st European Symposium on Research in Computer Security, Rome, Italy, September 14–18, 2026, Proceedings, Part IV. Ed.: A. Spognardi, 629–647, Springer Nature Switzerland.
Perceptions of Coercion and Vote Buying in Remote Voting Across Four Countries
Nissen, C.; Kulyk, O.; Budurushi, J.; Volkamer, M.
2026. Electronic Voting – 11th International Joint Conference, E-Vote-ID 2026, Tallin, Estonia, October 6–9, 2026
Concurrent Editing for Multi-Model Environments
Jutz, B.
2026. ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion 2026), 5, Association for Computing Machinery (ACM).
Uncertainty-aware Design Decisions through Probabilistic Uncertainty Quantification and Consistent Merging
Hagel, N.; Mäkelburg, J.; Maleki, A.; Hammann, C.; Mirandola, R.; Acosta, M.; Koziolek, A.
2026. ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion 2026), Association for Computing Machinery (ACM).
VitruviusOCL: A Declarative Language for Multi-Model Consistency Specification
Oesterle, M.; Lange, A.; Hagel, N.; Stübinger, T.; Reussner, R.; Koziolek, A.
2026. ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion 2026).
UncertainTree: Analyzing Multi-Model Consistency under Uncertainty
Hagel, N.; Mäkelburg, J.; Armbruster, M.; Bowen, J.; Jutz, B.; König, L.; Lange, A.; Reinbold, F.; Maisch, R.; Weber, T.; Acosta, M.; Koziolek, A.
2026. ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery (ACM).
Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models
König, L.; Kosiol, J.
2026. MODELS Companion ’26: Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems, 889–899, Association for Computing Machinery (ACM).
The Quantum Decoherence Model: Everlasting Composable Secure Computation and More
Döttling, N.; Koch, A.; Maier, S.; Mechler, J.; Müller, A.; Müller-Quade, J.; Tiepelt, M.
2027. Security and Cryptography for Networks – 15th International Conference, SCN 2026, Amalfi, Italy, September 14–16, 2026, Proceedings. Ed.: C. Galdi, 370–387, Springer Nature Switzerland.
K8sPCM: A Domain-Specific Language for Cloud-Native Performance Modeling Workflows
Hummel, M.; Jutz, B.; Hagel, N.; Freund, F.; Koziolek, H.; Reussner, R.
2026. 20th European Conference on Software Architecture (ECSA 2026), Bozen, 7th – 11th September 2026. Ed.: A. Janes, D. Taibi, P. Lago, A. Moreia, Springer Nature Switzerland
The (Un)suitability of Passwords and Password Managers in Virtual Reality
Kablo, E.; Last, Y.; Arias-Cabarcos, P.; Volkamer, M.
2026. Conference Publishing Services
Malicious GNSS Spoofing Causing False Trips in IEC 61850 Multivendor Substations
Fruböse, C.; Seiquera, J.; Hetzel, E.; Kaya, S. C.; Hagenmeyer, V.
2026. 8th International Conference on Smart Energy Systems and Technologies (SEST 2026), 6 S., Institute of Electrical and Electronics Engineers (IEEE).
The Cost of Repetition: A Compositional Scalability Model for Attack Trees
Fruböse, C.; Hetzel, E.
2027. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2–4, 2026, Proceedings. Ed.: M. Chen, 313–330, Springer Nature Switzerland.
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)
Simple Asymmetric Anamorphic Encryption and Signature Using Multi-message Extensions
Banerjee, S.; Pal, T.; Rupp, A.; Slamanig, D.
2026. Advances in Cryptology – CRYPTO 2026 – 46th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–20, 2026, Proceedings, Part X. Ed.: N. Heninger, 432–464, Springer Nature Switzerland.
Crypto Wars in Secure Messaging: Covert Channels in Signal Despite Leaked Keys
Giustolisi, R.; Lenzini, G.; Lin, C.; Rakeei, M.; Rupp, A.
2026. The Proceedings of the 35th USENIX Security Symposium, USENIX Association
The Adverse Effects of Omitting Records in Differential Privacy: How Sampling and Suppression Degrade the Privacy–Utility Tradeoff
Miranda-Pascual, À.; Parra-Arnau, J.; Strufe, T.
2026. 35th USENIX Security Symposium (USENIX Security 26), 1287–1306, USENIX Association
“The city isn’t uploading me to TikTok”: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces
Todt, J.; Kablo, E.; Morsbach, F.; Arias-Cabarcos, P.; Strufe, T.
2026. Proceedings on privacy enhancing technologies, 2026 (4)
How to Kickstart with Short Authentication Strings and Out-of-Band Communication
Beskorovajnov, W.; Müller-Quade, J.
2027. Applied Cryptography and Network Security – 24th International Conference, ACNS 2026, Stony Brook, NY, USA, June 22–25, 2026, Proceedings, Part I. Ed.: K. Jee, 415–443, Springer Nature Switzerland.
VNN-LIB 2.0 in Practice: Benchmarks for More Complex Neural Network Verification Tasks (Competition Contribution)
Rohwer, L.; Teuber, S.; Daggitt, M. L.
2027. AI Verification – Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings. Ed.: G. Avni, 387–393, Springer Nature Switzerland.
VNN-LIB 2.0 in Practice: Benchmarks for More Complex Neural Network Verification Tasks (Competition Contribution)
Rohwer, L.; Teuber, S.; Daggitt, M. L.
2027. AI Verification – Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings. Ed.: G. Avni, 387–393, Springer Nature Switzerland.
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)
Breaking and (Partially) Fixing Onion Routing with Fragmentation
Schadt, D.; Coijanovic, C.; Strufe, T.
2026. Proceedings on Privacy Enhancing Technologies, 2026 (4), 272–289.
The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State
Keidel, S.; Monat, R.; Erdweg, S.
2026. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Ed.: R. Krebbers, 413–442, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI).
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).
Geolocating Photovoltaic Systems using Geometry and Weather Data Correlation
Naumann, C. P.; Goerke, N.; Bao, K.; Baumgart, I.; Hagenmeyer, V.
2026. Proceedings of the 17th ACM International Conference on Future and Sustainable Energy Systems, 695–703, Association for Computing Machinery (ACM).
Rethinking the Architecture of an Operational Wildfire Simulator System: The Case of Propagator
D’Andrea, M.; Shahid, H.; Scotti, V.; Burastero, A.; Cappelluti, G.; Sanctis, M. De; Salle, A. Di; Perez-Palacin, D.; Mirandola, R.
2026. 2026 IEEE 23rd International Conference on Software Architecture Companion (ICSA-C), Amsterdam, 22nd-26th June 2026, 63–70, Institute of Electrical and Electronics Engineers (IEEE).
Towards a Reference Architecture for Delta-Based Cross-Organizational Collaboration Preserving IP
Weber, T. W.; Willimek, T.; Weber, S.; Hagel, N.; Burger, E.; Reussner, R.
2026. 2026 IEEE 23rd International Conference on Software Architecture Companion (ICSA-C), Amsterdam, 22nd-26th June 2026, 385–392, Institute of Electrical and Electronics Engineers (IEEE).
Vorratsdatenspeicherung von IP-Adressen und Sicherungsanordnung : Zulässigkeit der Instrumente, Anforderungen an verpflichtete Unternehmen und die Sicherungsanordnung im europäischen e-Evidence-Regime
Hunter, J.; Rexin, L.
2026. Computer und Recht : CR ; Zeitschrift für die Praxis des Rechts der Informationstechnologien, 42 (6), 414–420.
Compromising Synchrophasor Data by Attacking Time Synchronization: A Hardware-Lab Study
Fruböse, C.; Kaya, S. C.; Hetzel, E.; Seiquera, J.; Elbez, G.; Hagenmeyer, V.
2026. 2026 5th International Conference on Smart Grid Synchronized Measurements and Analytics (SGSMA), 1–6, Institute of Electrical and Electronics Engineers (IEEE).
FEVA-ICS: Benchmarking Adversarial Robustness of Machine Learning-based Intrusion Detection Systems in Industrial Control Systems
Ghosh, M.; Meshram, A.; Karch, M.; Haas, C.; Zhang, X.; Singh, M.
2026. Proceedings of the 12th ACM Cyber-Physical System Security Workshop, 47–62, Association for Computing Machinery (ACM).
Phishing-URLs versus Phishing-E-Mails – Messung des Stands der Awareness
Schmidt-Enke, L.; Hennig, A.; Berens, B.; Reimer, D.; Volkamer, M.
2026. Datenschutz und Datensicherheit – DuD, 50 (5), 295–299.
Datensparsame Altersverifikation – Technische Verfahren und rechtliche Einordnung
Steinebach, M.; Yannikos, Y.; Hunter, J.
2026. Datenschutz und Datensicherheit – DuD, 50 (4), 223–228.
Computer Security. ESORICS 2025 International Workshops DPM 2025, CBT 2025, CyberICPS 2025, Toulouse, France, September 25–26, 2025, Revised Selected Papers, Part I
Laborde, R.; Garcia-Alfaro, J.; Navarro, G.; Herrera-Joancomartí, J.; Hartenstein, H.; Katsikas, S.; Cuppens, F. (Hrsg.)
2026. Springer Nature Switzerland.
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).
Anti-Backdoor Coreset Selection via Cumulative Entropy
Zhao, Q.; Wressnegger, C.
2026. Anti Backdoor Coreset Selection via Cumulative Entropy
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).
From Fear to Control: Developing a Three-Factor Scale for Cybersecurity Anxiety (CybAS)
Dall, N.; Hagge, H. G.; Mayer, P.; Faklaris, C.
2026. Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems, 1–17, Association for Computing Machinery (ACM).
L-SCALE: Locality-Sensitive Coverage for Automata LEarning
Giraud, M. L.; Engel, B.; Nasarek, L.; Storrer, Y.; Takacs, P.; Wittemund, L. P.
2026. Proceedings of the 7th ACM/IEEE International Conference on Automation of Software Test, 55–65, 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.
Chasing Shadows: Pitfalls in LLM Security Research
Wressnegger, C.; Evert, J.; Risse, N.; Neuer, N.; Müller, A.; Normann, P.; Sapia, G.; Grupta, S.; Pape, D.; Shaw, S.; Srivastav, D.; Quiring, E.; Eisenhower, T.; App, D.; Schönherr, L.
2026. Network and Distributed System Security (NDSS) Symposium 2026, 23-27 February 2026, San Diego, CA, USA.
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.