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.
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) Evasive Malware via Identifier Implanting
Lecture Notes in Computer Science
ISoLA Modular, Correct Compilation with Automatic Soundness Proofs
SWAT The Parameterized Hardness of the k-Center Problem in Transportation Networks.
Software Engineering (SE) Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern.
International Conference on Artificial Intelligence and Statistics (AISTATS) Adaptive balancing of gradient and update computation times using global geometry and approximate subproblems.
Advances in Cryptology (CRYPTO) The Algebraic Group Model and its Applications
International Symposium on Automated Technology for Verification and Analysis (ATVA) Maximum Realizability for Linear Temporal Logic Specifications
International Conference on Learning Representations (ICLR) Explainable AI: Interpreting, Explaining and Visualizing Deep Learning