49 citations
- Saarland UniversityDE10 papers
- Max Planck Institute for InformaticsDE5 papers
- KU LeuvenBE2 papers
- Leibniz University HannoverDE2 papers
- Max Planck Institute for Software SystemsDE2 papers
- Max Planck SocietyDE2 papers
- Monash UniversityAU2 papers
- Ruhr University BochumDE2 papers
- Stanford UniversityUS2 papers
- Technical University of MunichDE2 papers
- University of StuttgartDE2 papers
- Zhejiang UniversityCN2 papers
20 papers · 1 filter
SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
Kevin Morio, Robert Künnemann
There exists a verification gap between formal protocol specifications and their actual implementations, which this work aims to bridge via monitoring for compliance to the formal…
DarthShader: Fuzzing WebGPU Shader Translators & Compilers
Lukas Bernhard, Nico Schiller, Moritz Schloegel +2
A recent trend towards running more demanding web applications, such as video games or client-side LLMs, in the browser has led to the adoption of the WebGPU standard that provides…
No Peer, no Cry: Network Application Fuzzing via Fault Injection
Nils Bars, Moritz Schloegel, Nico Schiller +2
Network-facing applications are commonly exposed to all kinds of attacks, especially when connected to the internet. As a result, web servers like Nginx or client applications such…
On the Feasibility of CubeSats Application Sandboxing for Space Missions
Gabriele Marra, Ulysse Planta, Philipp Wüstenberg +1
This paper details our journey in designing and selecting a suitable application sandboxing mechanism for a satellite under development, with a focus on small satellites. Central t…
SoK: Security of Programmable Logic Controllers
Efrén López-Morales, Ulysse Planta, Carlos Rubio-Medrano +2
Billions of people rely on essential utility and manufacturing infrastructures such as water treatment plants, energy management, and food production. Our dependence on reliable in…
ORL-AUDITOR: Dataset Auditing in Offline Deep Reinforcement Learning
Linkang Du, Min Chen, Mingyang Sun +4
Data is a critical asset in AI, as high-quality datasets can significantly improve the performance of machine learning models. In safety-critical domains such as autonomous vehicle…