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.
Acta Informatica Symbolic execution for refuting ∀∃ hyperproperties
Acta Informatica Explainability requirements as hyperproperties
Computational Intelligence Survey on AI Ethics: A Socio‐Technical Perspective
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) The Fault in our Stats
ACM Transactions on Software Engineering and Methodology How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach.
Automated Software Engineering Conference (ASE) BASHIRI: Learning Failure Oracles from Execution Features