Concept and Prototyp of a Security Framework in a Cloud-based Application

FPGA‑Based Quantum‑Computer Simulator with a Web‑Based Design‑Run‑Analyse Front‑End

Future Internet architectures such as Named Data Networking (NDN) rely heavily on in-network caching to improve performance and reduce latency, an especially valuable feature for resource-constrained IoT environments. However, current IoT-NDN deployments lack mechanisms to securely control how caches are manipulated. Unauthorized insertions, evictions, or modifications of cached data can lead to cache poisoning, cache […]

Redirecting Clang’s MCDC Coverage Instrumentation to ARM CoreSight: A High‑Performance, Hardware‑Backed Coverage Collection Framework

AI‑Enhanced Formal‑Methods‑as‑a‑Service: Designing, Implementing, and Evaluating an MCP‑Based Backend that Powers a VS Code Copilot Extension for Automated Program Analysis and Verification.

Mapping the European AI HLEG Trustworthiness Framework to Formal Methods

In der Vorlesung Robotik wird der Open-Source-Roboterarm “LeRobot” von HuggingFace verwendet – mit recht gutem Erfolg. Ein paar Probleme hat dieser Roboter aber leider noch: er verfügt nur über 5 Gelenke + einen Greifer. Dadurch sind die räumlichen Freiheiten des Roboters nicht vollständig, die letzte rotatorische Freiheit fehlt. Zudem ist die Implementierung der Gelenkbewegung nicht […]

Maintenance of electric fences is essential to keep animals secure in pasture fields. For any automatic maintenance procedure, the location of the fence needs to be known. Techniques like GNSS or visual detection come with drawbacks that make them unapplicable for the real application, as the accuracy and reliablity are not high enough to precisely […]