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).
Publications
Our interdisciplinary research is reflected in the outstanding publications of KASTEL Security Research Labs.
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).
Balancing Privacy and Utility in Correlated Data: A Study of Bayesian Differential Privacy
Lange, M.; Guerra-Balboa, P.; Parra-Arnau, J.; Strufe, T.
2025. Proceedings of the VLDB Endowment, 18 (11), 4090–4103.
A game theory approach in hydrogen supply chain resilience: focus on pricing, sourcing, and transmission security
Rajabzadeh, H.; Shaya, N.; Shirafkan, N.; Glöser-Chahoud, S.; Wiens, M.
2025. Annals of Operations Research.
Sensor Fusion for Collaborative Mobile Agent Localization using Stationary Roadside Perception Sensors
Fleck, T.; Burger, J.; Ochs, S.; Heinrich, M.; Schotschneider, A.; Polley, N.; Boualili, Y.; Mütsch, F.; Schörner, P.; Zofka, M. R.; Zöllner, J. M.
2025. 2025 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), College Station, 2nd-4th September 2025, 1–8, Institute of Electrical and Electronics Engineers (IEEE).
Beyond Retrieval: A Study of Using LLM Ensembles for Candidate Filtering in Requirements Traceability
Fuchß, D.; Schwedt, S.; Keim, J.; Hey, T.
2025. 2025 IEEE 33rd International Requirements Engineering Conference Workshops (RE)
Die EU-Verordnung über Targeting und politische Werbung – Ein Papiertiger?
Gutjahr, A.
2025. Neue Zeitschrift für Verwaltungsrecht, 2025 (17), 1307–1313
Exploiting Contexts of LLM-based Code-Completion
Noppel, M.; Wressnegger, C.; Rubel, K.
2025. KI 2025: Advances in Artificial Intelligence : 48th German Conference on AI, Potsdam, Germany, September 16–19, 2025, Proceedings. Ed. T. Braun, 298–302, Springer.
Makrut Attacks Against Black-Box Explanations
Hedge, A.; Noppel, M.; Wressnegger, C.
2025. KI 2025: Advances in Artificial Intelligence. Ed.: T. Braun, 289–293, Springer.
Replication Study: Cross-Country Evaluation of the Recognition-Based Graphical Authentication Scheme in AR and VR Environments
Noah, N.; Mayer, P.; Das, S.
2025. 2025 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 496–507, Institute of Electrical and Electronics Engineers (IEEE).
Investigating the Effects of T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems
Bächle, T.; Hofmayer, E.; König, C.; Pett, T.; Schaefer, I.
2025. Proceedings of the 29th ACM International Systems and Software Product Line Conference – Volume A. Ed.: M.R. Luaces, 45–56, Association for Computing Machinery (ACM).
Rebuilding the pyramid: The AI Act’s risk-based approach using a binary decision diagram
Gasiola, G. G.
2025. Computer Law & Security Review, 58, Art.-Nr.: 106189.
Misunderstand me correctly – comprehensibility in interdisciplinary collaboration
Voelk, T. A.; Gesmann, L.; Götze, S.; Feichtinger, K.; Schwarz, S. E.; Düser, T.; Reussner, R.; Albers, A.
Towards Common Metadata For Research Software in the NFDI
Ferenz, S.; Castro, L. J.; Hajiabadi, H.; Löbe, M.; Stervbo, U.; Gan, L.; Thiery, F.
2025. 2nd Conference on Research Data Infrastructure (CoRDI), Zenodo.
L1RA: Dynamic Rank Assignment in LoRA Fine-Tuning
Singh, R.; Brunello, N.; Scotti, V.; Carman, M.
2025. Proceedings of the 8th International Conference on Natural Language and Speech Processing (ICNLSP-2025). Hrsg.: M. Abbas, 360–373, Association for Computational Linguistics (ACL)
FASER-IN: Evasion of Network Intrusion Detection Systems in Industrial Networks
Shetty, P.; Meshram, A.; Karch, M.; Haas, C.; Tippenhauer, N. O.
2025. Proceedings of the 11th ACM Cyber-Physical System Security Workshop, 87–102, Association for Computing Machinery (ACM).
Generalized Adversarial Code-Suggestions: Exploiting Contexts of LLM-based Code-Completion
Rubel, K.; Noppel, M.; Wressnegger, C.
2025. ASIA CCS ’25: Proceedings of the 20th ACM Asia Conference on Computer and Communications Security, 358–374, Association for Computing Machinery (ACM).
LLMs for Software Architecture Knowledge: A Comparative Analysis Among Seven LLMs
Soliman, M.; Ashraf, E.; Abdelsalam, K. M. K.; Keim, J.; Venkatesh, A. P. S.
2026. Software Architecture – 19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings. Ed.: V. Andrikopoulos, 99–115, Springer Nature Switzerland.
Challenges of identification and anonymity in time-continuous data from medical environments
Hammer, F.; Strufe, T.
2025. Frontiers in Digital Health, 7.
Supply-Chain-Aligned Software Auditing and Usage Justification via Distributed Ledgers
Stengele, O.; Droll, J.; Hartenstein, H.
2025. IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Pisa, Italy, 02-06 June 2025, Institute of Electrical and Electronics Engineers (IEEE).
ConfuSense: Sensor Reconfiguration Attacks for Stealthy UAV Manipulation
Erba, A.; Castellanos, J. H.; Sihag, S.; Zonouz, S.; Tippenhauer, N. O.
2025. Proceedings of the 3rd USENIX Symposium on Vehicle Security and Privacy (VehicleSec ’25) : August 11-12, 2025, Seattle, WA, USA, 45–62, USENIX Association
LeaX : Class-Focused Explanations for Locating Leakage in Learning-Based Profiling Attacks
Lei, Q.; Wressnegger, C.
2025. Availability, Reliability and Security. Ed.: M.D. Preda, 321–342, Springer Nature Switzerland.
The more accounts I use, the less I have to think’: A Longitudinal Study on the Usability of Password Managers for Novice Users
Cabarcos, P. A.; Mayer, P.
2025. Proceedings of the Twenty-First Symposium on Usable Privacy and Security (SOUPS 2025), August 11–12, 2025, Seattle, WA, USA, 351–369, Advanced Computing Systems Association (USENIX)
Technological Framework for a Secure and Resilient Food Supply Chain
Fischer, M.; Tönjes, R.; Bohara, R.; Ross, M.; Hedge, A.; Wressnegger, C.; Brunner, M.
2025. IEEE International Conference on Cyber Security and Resilience (CSR 2025), 146–152, Institute of Electrical and Electronics Engineers (IEEE).
RFC 9116 („security.txt“) an deutschen Hochschulservern
Eckstein, F.; Rosenauer, R.; Huppert, P.; Volkamer, M.; Herrmann, D.
2025. Datenschutz und Datensicherheit, (8), 522–526
Adversarial Subspace Generation for Outlier Detection in High-Dimensional Data
Cribeiro-Ramallo, J.; Matteucci, F.; Enciu, P.; Jenke, A.; Arzamasov, V.; Strufe, T.; Böhm, K.
2025. Transactions on Machine Learning Research, 7
A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
Hellwig, J.; Platzer, A.
2025. Automated Deduction – CADE 30 – 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings. Ed.: C. Barrett, 696–714, Springer Nature Switzerland.
Can a Large Language Model Keep My Secrets? A Study on LLM-Controlled Agents
Hemken, N.; Koneru, S.; Jacob, F.; Hartenstein, H.; Niehues, J.
2025. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics. Vol 4: Student Research Workshop, 746–759, Association for Computational Linguistics (ACL)
Energy Supply Chain Resilience and Sustainability Practices: Insights on Sourcing and Pricing Strategies
Rajabzadeh, H.; Wiens, M.
2025. Operations Research Proceedings 2023 : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Germany, August 29 – September 1, 2023. Ed.: G. Voigt, 403–413, Springer Nature Switzerland.
Next Steps in LLM-Supported Java Verification
Teuber, S.; Beckert, B.
2025. 2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE), 1 – 4, Institute of Electrical and Electronics Engineers (IEEE).
Detecting Information Flow Security Vulnerabilities by Analysis Coupling
Reiche, F.; Reussner, R.; Heinrich, R.
2025. IEEE Transactions on Software Engineering, 1–33.
AlphaFL: Secure Aggregation with Malicious2 Security for Federated Learning against Dishonest Majority
Jiang, Y.; Zarezadeh, M.; Dai, T.; Köpsell, S.
2025. Proceedings on Privacy Enhancing Technologies, 2025 (4), 348–368.
Aimless Onions: Mixing without Topology Information
Schadt, D.; Coijanovic, C.; Strufe, T.
2025. Proceedings on Privacy Enhancing Technologies, 2025 (4), 293–307.
POMELO : Black-Box Feature Attribution with Full-Input, In-Distribution Perturbations
Ademi, L.; Noppel, M.; Wressnegger, C.
2025. Explainable Artificial Intelligence. Ed.: R. Guidotti. Pt. 2, 219–243, Springer Nature Switzerland
POBA: Privacy-Preserving Operator-Side Bookkeeping and Analytics
Faut, D.; Fetzer, V.; Müller-Quade, J.; Raiber, M.; Rupp, A.
2025. IACR Communications in Cryptology, 2 (2).
A Policy-Based Mitigation of Transaction Exclusion in Ethereum
Spiesberger, P.; Droll, J.; Hartenstein, H.
2025. Proceedings of the 30th ACM Symposium on Access Control Models and Technologies (SACMAT 2025), 127–132, Association for Computing Machinery (ACM).
Competitive dynamics in blockchain-based supply chains under cryptocurrency volatility: a game theory approach
Shirafkan, N.; Rajabzadeh, H.; Wiens, M.
2025. International Journal of Production Research, 63 (19), 7339–7362.
Composite Explanation-Aware Attacks
Noppel, M.; Wressnegger, C.
2025. IEEE Security and Privacy Workshops (SPW 2025). Ed.: M. Blanton, 167 – 176, Institute of Electrical and Electronics Engineers (IEEE).
Bridging Explanations and Logics: Opportunities for Multimodal Language Models
Schuler, Nicolas Sebastian, Scotti, Vincenzo, Camilli, Matteo Mirandola Raffaela Bridging Explanations and Logics: Opportunities for Multimodal Language Models, Preprint, Accepted for Formal Methods for Intersymbolic AI (AISoLA 2025 · FMIAI)
Traceability Support for Engineering Reviews of Horizontal Model Evolution
Cederbladh, J.; Kamburjan, E.; Manrique-Negrin, D. A.; Mittal, R.; Weber, T.
2025. Systems Engineering, e70001.
Security Analysis of Forward Secure Log Sealing in Journald
Dörre, F.; Ottenhues, A.
2025. International Conference on Applied Cryptography and Network Security, 27 S
Protection Against Subversion Corruptions via Reverse Firewalls in the Plain Universal Composability Framework
Ottenhues, A.; Müller-Quade, J.; Arnold, P.; Berndt, S.
2025. International Conference on Applied Cryptography and Network Security, München, 23rd-26th June 2025
Quantifying Privacy Risk with Gaussian Mixtures
Rønneberg, R. C.; Randone, F.; Pardo, R.; Wąsowski, A.
2025. Software and Systems Modeling.
Privacy from 5 PM to 6 AM: Tracking and Transparency Mechanisms in the HbbTV Ecosystem
Böttger, C.; Hosseini, H.; Utz, C.; Demir, N.; Hörnemann, J.; Wressnegger, C.; Hupperich, T.; Pohlmann, N.; Große-Kampmann, M.; Urban, T.
2025. 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), Institute of Electrical and Electronics Engineers (IEEE).
Fool the Stoplight: Realistic Adversarial Patch Attacks on Traffic Light Detectors
Pavlitska, S.; Robb, J.; Polley, N.; Yazgan, M.; Zöllner, J. M.
2025. 2025 IEEE Intelligent Vehicles Symposium (IV), 734–741, Institute of Electrical and Electronics Engineers (IEEE).
The ATLAS of Traffic Lights: A Reliable Perception Framework for Autonomous Driving
Polley, R.; Polley, N.; Heid, D.; Heinrich, M.; Ochs, S.; Zöllner, J. M.
2025. 2025 IEEE Intelligent Vehicles Symposium (IV), Cluj-Napoca, 22nd-25th June 2025, 2215–2222, Institute of Electrical and Electronics Engineers (IEEE).
Efficient Self-Adaptation through Explanation-Driven White-Box Optimization
Negri, F.; Nicolosi, N.; Camilli, M.; Mirandola, R.
2025. ACM Transactions on Autonomous and Adaptive Systems.
Enhancing Situational Awareness in Smart Grids through Event Correlation for ATT&CK Mapping
Canbolat Kaya, S.; Elbez, G.; Hagenmeyer, V.
2025. ACM International Conference on Future and Sustainable Energy Systems (ACM e-Energy 2025), Association for Computing Machinery (ACM).
Advanced Persistent Threats on Consumer Energy Resources in Decentralized Energy Systems
Bao, K.; Chau, S. C.-K.; Elbez, G.; Liu, Q.; Hagenmeyer, V.
2025. Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems (E-ENERGY ’25), 838–845, Association for Computing Machinery (ACM).
Insights and Lessons Learned from a Realistic Smart Grid Testbed for Cybersecurity Research
Elbez, Ghada; Sanchez, Gustavo; Canbolat, Sine; Corallo, Sophie; Fruböse, Clemens; Lanzinger, Florian; Kellerer, Nicolai; Keppler, Gustav; Neumeister, Felix; Beckert, Bernhard; Koziolek, Anne; Zitterbart, Martina; Hagenmeyer, Veit
Insights and Lessons Learned from a Realistic Smart Grid Testbed for Cybersecurity Research
Elbez, Ghada; Sanchez, Gustavo; Canbolat, Sine; Corallo, Sophie; Fruböse, Clemens; Lanzinger, Florian; Kellerer, Nicolai; Keppler, Gustav; Neumeister, Felix; Beckert, Bernhard; Koziolek, Anne; Zitterbart, Martina; Hagenmeyer, Veit
Masquerading IEC 61850 GOOSE Protocol: Cyber-Physical Experiments and Detection
Alberto, H. da C.; Sánchez Collado, G.; DEMBELE, J. M.; DIOP, I.; Elbez, G.; Hagenmeyer, V.
2025. E-ENERGY ’25, Rotterdam, Netherlands, Association for Computing Machinery (ACM).
Physical Impact Analysis of Cyberattacks on Inverter-based Consumer Energy Resources
Engel, S. M.; Bao, K.; Attar, A. A.; Rudolph, R.; Hagenmeyer, V.
2025. E-Energy ’25: Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems, 820–829, Association for Computing Machinery (ACM).
Attacks on the Siemens S7 Protocol Using an Industrial Control System Testbed
Kellerer, N.; Sanchez, G.; Alberto, H.; Hagenmeyer, V.; Elbez, G.
2025. E-Energy ’25: Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems, 770–779, Association for Computing Machinery (ACM).
Anonymization Techniques for Behavioral Biometric Data: A Survey
Hanisch, S.; Arias-Cabarcos, P.; Parra-Arnau, J.; Strufe, T.
2025. ACM Computing Surveys, 57.
Scaling Information Flow Control By-Construction to Component-Based Software Architectures
Rønneberg, R. C.; Bordis, T.; Gerking, C.; Tabar, A. H.; Schaefer, I.
2025. Formal Techniques for Distributed Objects, Components, and Systems Techniques. Ed.: C. Ferreira, 55–74, Springer Nature Switzerland.
Honorific Security: Efficient Two-Party Computation with Offloaded Arbitration and Public Verifiability
Dai, T.; Jiang, Y.; Li, Y.; Müller-Quade, J.; Rupp, A.
2025. Proceedings of the 22nd International Conference on Security and Cryptography – Volume 1, Bilbao, June 11-13, 2025, 49–60, SciTePress.
The relationship between cybersecurity awareness, cybersecurity supply chain risk management and firm performance
Stentoft, J.; Peressotti, M.; Mayer, P.; Wickstrøm, K. A.; Schmitt, O.; Keating, V. C.; Theussen, A.; Tumchewics, L. A.; Kankam-Boateng, J.
2025. Supply Chain Management: An International Journal, 30 (5), 497–517.
To the Best of Knowledge and Belief: On Eventually Consistent Access Control
Jacob, F.; Hartenstein, H.
2025. Proceedings of the 15th ACM Conference on Data and Application Security and Privacy, 107–118, Association for Computing Machinery (ACM).
SM-SIM: A Simulator for Analyzing Selfish Mining Attacks in Blockchain Systems
Sproll, Y.; Heinrich, R.; Quang Le, L. B.; Kannengießer, N.
2025. 2025 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Pisa, Italy, 02-06 June 2025, Institute of Electrical and Electronics Engineers (IEEE).
Verification of Autonomous Neural Car Control with KeYmaera X
Prebet, E.; Teuber, S.; Platzer, A.
2025. Rigorous State-Based Methods. Hrsg.: M. Leuschel, 288–307, Springer Nature Switzerland.
Towards Robust Plagiarism Detection in Programming Education: Introducing Tolerant Token Matching Techniques to Counter Novel Obfuscation Methods
Maisch, R.; Hagel, N.; Bartel, A.
2025. ECSEE ’25: Proceedings of the 6th European Conference on Software Engineering Education, 2nd – 4th June 2025, Seeon, Germany, 11–19, Association for Computing Machinery (ACM).
Data Analytics im Gesundheitswesen – Anforderungen der Datensouveränität aus klinischer, technischer, rechtlicher und sozioökonomischer Sicht
Radic, M.; Busch-Casler, J.; Vosen, A.; Herrmann, P.; Appenzeller, A.; Mucha, H.; Philipp, P.; Frank, K.; Dauth, S.; Köhm, M.; Orak, B.; Spiecker genannt Döhmann, I.; Böhm, P.; Radic, D.
2025. Digital Analytics im Dienstleistungsmanagement : Customer Insights, Prozesse der Künstlichen Intelligenz, Digitale Geschäftsmodelle. Ed: M. Bruhn, 777–800, Springer Fachmedien Wiesbaden.
Continuous integration of architectural performance models with parametric dependencies – the CIPM approach
Mazkatli, M.; Monschein, D.; Armbruster, M.; Heinrich, R.; Koziolek, A.
2025. Automated Software Engineering, 32 (2), 54.
The Many Uses of Dynamic Logic
Ahrendt, W.; Beckert, B.; Bubel, R.; Hähnle, R.; Ulbrich, M.
2025. Go Where the Bugs Are – Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday. Ed.: G. Ernst, 56–82, Springer Nature Switzerland.
Hocarest: Host Cardinality Estimation On-Switch using Randomized Algorithm and TCAM
Krack, T.; Zitterbart, M.
2025. IFIP Networking Conference (IFIP Networking 2025), Limassol, CY, May 26-29, 2025
Scar: Verification-Based Development of Smart Contracts (Tool Paper)
Schiffl, J.; Beckert, B.
2025. D. Marmsoler & M. Xu (Hrsg.), 6th International Workshop on Formal Methods for Blockchains (FMBC 2025), 14:1–14:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI).
Automated Market Makers: Toward More Profitable Liquidity Provisioning Strategies
Drossos, T.; Kirste, D.; Kannengießer, N.; Sunyaev, A.
2025. SAC ’25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. Ed.: J. Hong, 358–365, Association for Computing Machinery (ACM).
Restricting the Link: Effects of Focused Attention and Time Delay on Phishing Warning Effectiveness
Petelka, J.; Berens, B.; Sugatan, C.; Volkamer, M.; Schaub, F.
2025. Proceedings of the Symposium on Security and Privacy, 55–73, Advanced Computing Systems Association (USENIX)
Inferring Personal Attributes with a Mmwave Radar
Tamayo Gonzalez, C. C.; Soderi, S.; Todt, J.; Strufe, T.; Conti, M.
2025. 2025 IEEE Wireless Communications and Networking Conference (WCNC), 6 S., Institute of Electrical and Electronics Engineers (IEEE).
Multi-Client Attribute-Based Unbounded Inner Product Functional Encryption, and More
Dutta, S.; Mitrokotsa, A.; Pal, T.; Tomy, J.
2025. Public-Key Cryptography – PKC 2025. Ed.: T. Jager. Pt. 5, 3–37, Springer Nature Switzerland.
Modeling And Optimizing Runtime Adaptation Strategies At Design-Time Using Evolutionary Algorithms (Idea Paper)
Rapp, M.; Scheerer, M.; Sieger, R.; Reussner, R.; Mirandola, R.
2025. ICPE ’25: Companion of the 16th ACM/SPEC International Conference on Performance Engineering. Ed.: M. Litoiu, 38 – 46, Association for Computing Machinery (ACM).
Agentes de Tratamento de Dados Pessoais nas Concessões de Serviço Público
Gasiola, G. G.
2025. Direito da Infraestrutura:. Eds.: Conti, José Mauricio; Marrara, Thiago; Iocken, Sabrina Nunes; Dal Pozzo, Augusto Neves, 469–496, Editora Foco
Enhancing Production Workflows by Leveraging BPMN to Model Inconsistencies — An Experience Report
Weber, T.; Kuder, N. D.; Völk, T. A.; Schneider, J.; Weber, S.; Koziolek, A.
2025. The Journal of Object Technology, 24 (2), 1–14.
Revisiting Differential Verification: Equivalence Verification with Confidence
Teuber, S.; Kern, P.; Janzen, M.; Beckert, B.
2025. Tools and Algorithms for the Construction and Analysis of Systems – 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II. Ed.: A. Gurfinkel, 257 – 278, Springer Nature Switzerland.
An Architecture-Based Approach to Mitigate Confidentiality Violations Using Machine Learning
Niehues, N.; Hahner, S.; Heinrich, R.
2025. 2025 IEEE 22nd International Conference on Software Architecture (ICSA), Odense, Denmark, 31 March 2025 – 04 April 2025, 107–118, Institute of Electrical and Electronics Engineers (IEEE).
Semantic Validation for Slingshot Simulator Using MontiArc
Taghavi, B.; Heinrich, R.; Marin, A.; Rumpe, B.; Stüber, S.; Weber, S.
2025. 15th Symposium on Software Performance 2024, Linz, November 6-7th 2024, Ed.: Andrea Herrmann, 26–28, Gesellschaft für Informatik (GI)
Approaching Proactive Self-Adaptation in Nonlinear Cyber-Physical Systems
Edrisi, F.; Perez-Palacin, D.; Caporuscio, M.; Mirandola, R.
2025. 2025 IEEE/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Ottawa, 28th-29th April 2025, 25–31, Institute of Electrical and Electronics Engineers (IEEE).
Responsible and Sustainable AI: Considering Energy Consumption in Automated Text Classification Evaluation Tasks
Kaplan, A.; Keim, J.; Greiner, L.; Sieger, R.; Mirandola, R.; Reussner, R.
2025. Proceedings of the 2025 {IEEE/ACM} 47th International Conference on Software Engineering: Companion Proceedings, {ICSE} Companion 2025, Ottawa, 27th April – 3rd May 2025
LiSSA: Toward Generic Traceability Link Recovery through Retrieval-Augmented Generation
Fuchß, D.; Hey, T.; Keim, J.; Liu, H.; Ewald, N.; Thirolf, T.; Koziolek, A.
2025. 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 723–723, Institute of Electrical and Electronics Engineers (IEEE).
Parametric Falsification of Many Probabilistic Requirements under Flakiness
Camilli, M.; Mirandola, R.
2025. 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 773–773.
Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment
Grassi, V.; Mirandola, R.; Perez-Palacin, D.
2025. FormaliSE 2025, 113–123, IEEEXplore.
Mitigating Obfuscation Attacks on Software Plagiarism Detectors via Subsequence Merging
Sağlam, T.; Niehues, N.; Hahner, S.; Schmid, L.
2025. 2025 IEEE/ACM 37th International Conference on Software Engineering Education and Training : CSEE & T 2025 : Ottawa, Ontario, Canada, 28-29 April 2025, 217–228, Institute of Electrical and Electronics Engineers (IEEE).
On the Usability of Next-Generation Authentication: A Study on Eye Movement and Brainwave-based Mechanisms
Fallahi, M.; Arias-Cabarcos, P.; Strufe, T.
2025. CHI EA ’25: Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems.Ed.: N. Yamashita, 1–14, Association for Computing Machinery (ACM).
It’s a Match – Enhancing the Fit between Users and Phishing Training through Personalisation
Schöni, L.; Roch, N.; Sievers, H.; Strohmeier, M.; Mayer, P.; Zimmermann, V.
2025. CHI ’25: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, Art.-Nr.: 592, Association for Computing Machinery (ACM).
“It’s like an explosion”: Cyberwarfare harms for civilian population in Ukraine during the Russian invasion
Kulyk, O.; Kickbusch, J.; Mayer, P.
2025. Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems (CHI EA ’25). Ed.: N. Yamashita, Art.-Nr.: 22, Association for Computing Machinery (ACM).