@inproceedings{66603, author = {{Dou, Jinfeng and Götte, Thorsten and Hillebrandt, Henning and Scheideler, Christian and Werthmann, Julian}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783032264640}}, issn = {{0302-9743}}, publisher = {{Springer Nature Switzerland}}, title = {{{Fast Distributed Computation of Compact Routing Schemes}}}, doi = {{10.1007/978-3-032-26465-7_19}}, year = {{2026}}, } @inproceedings{66602, author = {{Augustine, John and Hillebrandt, Henning and Kumar, Manish and Scheideler, Christian and Werthmann, Julian}}, booktitle = {{Proceedings of the ACM Symposium on Principles of Distributed Computing}}, publisher = {{ACM}}, title = {{{Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers}}}, doi = {{10.1145/3796701.3815939}}, year = {{2026}}, } @inproceedings{66687, abstract = {{With a range of consumer devices available, augmented reality (AR) continues to make its way into everyday life and is also increasingly used in professional and sensitive contexts. Especially collaborative use cases, such as remote meetings or maintenance, offer potential, but also move issues in the area of privacy and security into focus. We conducted a scoping review to gain an overview of the current situation and found a lack of clear standards, with most approaches focusing on single protection features. Using the knowledge from the scoping review, we set up and conducted expert interviews. They revealed that end-users are almost completely dependent on developers or device manufacturers regarding their options for protection. The interviews also showed that most developers put little focus on privacy and security, often due to external constraints, such as employers treating the topic as an “afterthought” and not budgeting enough time for it. The experts suggested offering better software support to developers to enable the inclusion of privacy and security with less overhead as a solution. It was also suggested that a general rise in privacy and security awareness could improve the overall situation.}}, author = {{Krings, Sarah Claudia and Yigitbas, Enes and Sauer, Stefan}}, booktitle = {{Blending Experiences in Interaction Design}}, editor = {{Maciel, Cristiano and Spano, Davide Lucio and Ardito, Carmelo and Freire, André and Prates, Raquel}}, isbn = {{978-3-032-22934-2}}, pages = {{253–276}}, publisher = {{Springer Nature Switzerland}}, title = {{{Perspectives on Privacy and Security in Collaborative AR - Insights from a Scoping Review and an Expert Interview Study}}}, year = {{2026}}, } @article{66688, author = {{Wüppelmann, Dennis and Yigitbas, Enes}}, issn = {{2944-7682}}, journal = {{GI - Software Engineering }}, publisher = {{Gesellschaft für Informatik, Bonn}}, title = {{{SecCityVR: Visualization and Collaborative Exploration of Software Vulnerabilities in Virtual Reality}}}, doi = {{10.18420/se2026_53}}, year = {{2026}}, } @inproceedings{66832, author = {{Tahir, Faiza and Ullah, Ubaid and Bodden, Eric}}, booktitle = {{Proceedings of the 21st International Conference on Software Technologies}}, publisher = {{SCITEPRESS - Science and Technology Publications}}, title = {{{Trustworthy AI: Operationalizing Responsibility in Lifecycle-Aware AI Threat Modeling through RACI}}}, doi = {{10.5220/0015000700004088}}, year = {{2026}}, } @inproceedings{66833, author = {{Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}}, booktitle = {{2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}}, publisher = {{IEEE}}, title = {{{Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}}}, doi = {{10.1109/saner67736.2026.00114}}, year = {{2026}}, } @article{66838, abstract = {{The sliding square model is a widely used abstraction for studying self-reconfigurable robotic systems, where modules are square-shaped robots that move by sliding or rotating over one another. In this paper, we propose a novel distributed algorithm that enables a group of modules to reconfigure into a rhombus shape, starting from an arbitrary side-connected configuration. It is connectivity-preserving and operates under minimal assumptions: one leader module, common chirality, constant memory per module, and visibility and communication restricted to immediate neighbors. Unlike prior work, which relaxes the original sliding square move-set, our approach uses the unmodified move-set, addressing the additional challenge of handling locked configurations. Our algorithm is sequential in nature and operates with a worst-case time complexity of O(n^2) rounds, which is optimal for sequential algorithms. To improve runtime, we introduce two parallel variants of the algorithm. Both rely on a spanning tree data structure, allowing modules to make decisions based on local connectivity. Our experimental results show a significant speedup for the first variant, and a linear average runtime for the second variant, which is worst-case optimal for parallel algorithms.}}, author = {{Kostitsyna, Irina and Liedtke, David and Scheideler, Christian}}, issn = {{0304-3975}}, journal = {{Theoretical Computer Science}}, keywords = {{modular robots, distributed algorithms, sliding squares}}, publisher = {{Elsevier BV}}, title = {{{Distributed rhombus formation of sliding squares}}}, doi = {{10.1016/j.tcs.2026.116196}}, volume = {{1085}}, year = {{2026}}, } @inproceedings{66097, author = {{Kononova, Anna V. and van Stein, Niki and Mersmann, Olaf and Bäck, Thomas and Bartz-Beielstein, Thomas and Glasmachers, Tobias and Hellwig, Michael and Krey, Sebastian and Kudela, Jakub and Naujoks, Boris and Papenmeier, Leonard and Raponi, Elena and Renau, Quentin and Rook, Jeroen and Schäpermeier, Lennart and Vermetten, Diederick and Zaharie, Daniela}}, booktitle = {{Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II}}, editor = {{García-Sánchez, Pablo and lvarez, Josefa Díaz and Murphy, Aidan}}, pages = {{327–344}}, publisher = {{Springer}}, title = {{{Benchmarking that Matters: Rethinking Benchmarking in Continuous Optimisation for Practical Impact}}}, doi = {{10.1007/978-3-032-23607-4_20}}, volume = {{16525}}, year = {{2026}}, } @inproceedings{66095, author = {{Skvorc, Urban and van Stein, Niki and Seiler, Moritz and Grimme, Britta and Bäck, Thomas and Trautmann, Heike}}, booktitle = {{Applications of Evolutionary Computation - 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II}}, editor = {{García-Sánchez, Pablo and lvarez, Josefa Díaz and Murphy, Aidan}}, pages = {{183–199}}, publisher = {{Springer}}, title = {{{LLM Driven Design of Continuous Optimization Problems with Controllable High-Level Properties}}}, doi = {{10.1007/978-3-032-23607-4_12}}, volume = {{16525}}, year = {{2026}}, } @inproceedings{61777, abstract = {{Classical shadows are succinct classical representations of quantum states which allow one to encode a set of properties P of a quantum state rho, while only requiring measurements on logarithmically many copies of rho in the size of P. In this work, we initiate the study of verification of classical shadows, denoted classical shadow validity (CSV), from the perspective of computational complexity, which asks: Given a classical shadow S, how hard is it to verify that S predicts the measurement statistics of a quantum state? We show that even for the elegantly simple classical shadow protocol of [Huang, Kueng, Preskill, Nature Physics 2020] utilizing local Clifford measurements, CSV is QMA-complete. This hardness continues to hold for the high-dimensional extension of said protocol due to [Mao, Yi, and Zhu, PRL 2025]. Among other results, we also show that CSV for exponentially many observables is complete for a quantum generalization of the second level of the polynomial hierarchy, yielding the first natural complete problem for such a class.}}, author = {{Karaiskos, Georgios and Rudolph, Dorian and Meyer, Johannes Jakob and Eisert, Jens and Gharibian, Sevag}}, booktitle = {{International Colloquium on Automata, Languages, and Programming (ICALP)}}, number = {{123}}, pages = {{1--23}}, title = {{{How hard is it to verify a classical shadow?}}}, volume = {{374}}, year = {{2026}}, } @inproceedings{64909, author = {{Khedkar, Mugdha and Schlichtig, Michael and Bodden, Eric}}, booktitle = {{IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}}, title = {{{Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View}}}, doi = {{10.1109/SANER67736.2026.00109}}, year = {{2026}}, } @inproceedings{66433, author = {{Schiebel, Fabian Benedikt and Bodden, Eric}}, booktitle = {{40th European Conference on Object-Oriented Programming (ECOOP 2026)}}, editor = {{Krebbers, Robbert and Silva, Alexandra}}, isbn = {{978-3-95977-423-9}}, issn = {{1868-8969}}, pages = {{23:1–23:28}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}}}, doi = {{10.4230/LIPIcs.ECOOP.2026.23}}, volume = {{372}}, year = {{2026}}, } @inproceedings{66429, author = {{Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}}, booktitle = {{2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}}, publisher = {{IEEE}}, title = {{{Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}}}, doi = {{10.1109/saner67736.2026.00114}}, year = {{2026}}, } @inproceedings{66610, author = {{Stojko, Laura and Herder, Eelco and Strecker-Bischoff, Jannis and Sänger, Julia Seitz and Neumayr, Thomas and Yigitbas, Enes and Augstein, Mirjam}}, booktitle = {{Companion Publication of the 2026 18th ACM Web Science Conference, WebSci Companion 2026, Braunschweig, Germany, May 26-29, 2026}}, editor = {{Balke, Wolf-Tilo and Plötzky, Florian and Spaniol, Marc and Herder, Eelco and Manikonda, Lydia and Liu, Haiming and Ibáñez, Luis-Daniel and Rezapour, Rezvaneh}}, pages = {{108–109}}, publisher = {{ACM}}, title = {{{ABIS 2026: The Effects of the Adaptive Web on Society}}}, doi = {{10.1145/3795513.3810983}}, year = {{2026}}, } @article{66638, abstract = {{Smart cities promise safer streets, smoother traffic, and more efficient services, enabled by dense networks of urban sensors. Yet this infrastructure, often unnoticed by citizens, introduces pervasive privacy risks, from tracking, profiling, and sensitive inferences to subtle forms of self-censorship. Despite widespread deployment, little is known about how the public understands and perceives these sensing systems. To address this gap, we present an intervention based user study (n = 172) in which participants are exposed to data collection by six urban sensors, including cameras and alternative technologies commonly framed as privacy-preserving. Participants encounter either the sensors alone or sensors accompanied by real-time data visualizations. Our results reveal widespread misunderstanding of some sensors (radar, LiDAR, Wi-Fi, depth, and thermal imaging sensors), particularly their capacity for identification and for attribute inferences such as gender or age. We also identify persistent misconceptions, including the belief that Wi-Fi poses privacy risks only when users connect to public networks. While making sensors visible and visualizing collected data improves privacy awareness, these measures alone are not enough for citizens to understand the actual risks of urban sensing. We derive recommendations for privacy-respecting smart city environments grounded in citizens’ informational needs and expectations.}}, author = {{Todt, Julian and Kablo, Emiram and Morsbach, Felix and Arias Cabarcos, Patricia and Strufe, Thorsten}}, issn = {{2299-0984}}, journal = {{Proceedings on Privacy Enhancing Technologies}}, number = {{4}}, pages = {{7--35}}, publisher = {{Privacy Enhancing Technologies Symposium Advisory Board}}, title = {{{“The city isn’t uploading me to TikTok”: Exploring Privacy Attitudes towards Data Collection in Urban Public Spaces}}}, doi = {{10.56553/popets-2026-0108}}, volume = {{2026}}, year = {{2026}}, } @inproceedings{65493, author = {{Kablo, Emiram and Sharafi, Avishan and Arias Cabarcos, Patricia}}, booktitle = {{Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems}}, publisher = {{ACM}}, title = {{{"I store some passwords in WhatsApp": Understanding User Experiences and Usability Challenges of Password Managers in Virtual Reality}}}, doi = {{10.1145/3772363.3798346}}, year = {{2026}}, } @inproceedings{66631, author = {{Gortworst, Bente and Okulmus, Cem and Ortiz, Magdalena and Turhan, Anni-Yasmin}}, booktitle = {{Proceedings of the 25th International Semantic Web Conference (ISWC 2026)}}, title = {{{Shapes from Examples: Foundations of Shape Learning in Recursive SHACL}}}, year = {{2026}}, } @inproceedings{66670, author = {{Mensendiek, Carolin and Preuß, Oliver Ludger and Rook, Jeroen and Chicano, Francisco and Whitley, Darrell and Trautmann, Heike}}, booktitle = {{Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2026, Centro Internacional de Convenciones CIC-ANDE, San Jose, Costa Rica, July 13-17, 2026}}, editor = {{Trujillo, Leonardo and Hu, Ting}}, pages = {{134–142}}, publisher = {{ACM}}, title = {{{Digging to the Ground Truth: Solving Multi-objective Gray-Box Optimization Problems through Hyperplane Elimination}}}, doi = {{10.1145/3795095.3805136}}, year = {{2026}}, } @inproceedings{66711, author = {{Mensendiek, Carolin and Zeipel, Henrik and Preuß, Oliver Ludger and Seiler, Moritz and Sextro, Walter and Trautmann, Heike}}, booktitle = {{Proceedings of the Genetic and Evolutionary Computation Conference Companion}}, isbn = {{9798400724886}}, pages = {{641–644}}, publisher = {{Association for Computing Machinery}}, title = {{{Multi-Objective Pipeline Optimisation and Configuration of Automatic Train Operation Trajectories}}}, doi = {{10.1145/3795101.3805368}}, year = {{2026}}, } @inproceedings{66710, author = {{Löhnert, Bianca and Augsten, Nikolaus and Okulmus, Cem and Ortiz, Magdalena}}, booktitle = {{Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026)}}, title = {{{Rewriting Ontology-Mediated Property Graph Queries into GQL}}}, year = {{2026}}, }