Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
IEEE Symposium on Security and Privacy (S&P)
Behind the Curtain: How Shared Hosting Providers Respond to Vulnerability
Notifications
Acta Informatica Symbolic execution for refuting ∀∃ hyperproperties
Acta Informatica Explainability requirements as hyperproperties
IEEE Global Conference on Artificial Intelligence & Internet of Things (IEEE GCAIoT)
A Hybrid Blockchain-Backed Authentication Framework for Resilient and Lightweight IoT over MQTT
ACM Conference on Computer and Communications Security (CCS)
In the DOM We Trust: Exploring the Hidden Dangers of Reading from the DOM on the Web
Automated Software Engineering Conference (ASE)
Execution-Aware Program Reduction for WebAssembly via Record and Replay
Automated Software Engineering Conference (ASE)
BASHIRI: Learning Failure Oracles from Execution Features
Automated Software Engineering Conference (ASE)
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories
ACM Transactions on Software Engineering and Methodology Inferring Input Grammars from Code with Symbolic Parsing