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.
European Symposium on Algorithms (ESA) List Homomorphisms by Deleting Edges and Vertices: Tight Complexity Bounds for Bounded-Treewidth Graphs.
European Symposium on Algorithms (ESA) Exploring the Approximability Landscape of 3SUM
European Symposium on Algorithms (ESA) Hitting Meets Packing: How Hard Can It Be?
International Symposium on Software Testing and Analysis (ISSTA) Call Graph Soundness in Android Static Analysis
International Fuzzing Workshop (FUZZING) WebAssembly as a Fuzzing Compilation Target (Registered Report)
IEEE Transactions on Dependable and Secure Computing RemovalNet: DNN Fingerprint Removal Attacks
Formal Methods (FM) Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
International Symposium on Software Testing and Analysis (ISSTA) Learning the Effects of Software Changes
International Symposium on Software Testing and Analysis (ISSTA) Shaping Test Inputs in Grammar-Based Fuzzing