Universally Composable Password-Hardened Encryption (2025) Abdolmaleki B, Baecker R, Gerhart P, Graf M, Khalili M, Rausch D, Schröder D Conference contribution Password-Hardened Encryption Revisited (2025) Baecker R, Gerhart P, Schröder D Conference contribution Efficient Model Checking for the Alternating-Time mu -Calculus via Effectivity Frames (2025) Hausmann D, Humml M, Prucker S, Schröder L Conference contribution Proper Definitions of Micro Grid Metrics are Needed! – A Generalizable Framework (2025) Fellerer J, Helbrecht J, German R Conference contribution Architecture of Computing Systems (2025) Tomforde S, Krupitzer C, Vialle S, Suarez E, Pionteck T Conference contribution Distributed Detection of Complex Events on Streams of Linked Data (2025) Schraudner D, Schmid S, Harth A Conference contribution Lightweight Realms (2025) Kohlhase M, Rabe F, Schütz M Conference contribution Global, Regional, and Local Contexts (2025) Rabe F Conference contribution Enabling PSO-Secure Synthetic Data Sharing Using Diversity-Aware Diffusion Models (2025) Dombrowski MN, Kainz B Conference contribution Diffusing the Blind Spot: Uterine MRI Synthesis with Diffusion Models (2025) Müller J, Knupfer A, Blöss Braga P, Vittur EB, Kainz B, Hutter J Conference contribution