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.
WISE On Impact of Weather on Human Mobility in Cities
VMCAI Tight Cutoffs for Guarded Protocols with Fairness
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) Detile: Fine-Grained Information Leak Detection in Script Engines
ICALP The Complexity Landscape of Fixed-Parameter Directed Steiner Network Problems.
European Symposium on Research in Computer Security (ESORICS) Automated Multi-architectural Discovery of CFI-Resistant Code Gadgets
International Symposium on Automated Technology for Verification and Analysis (ATVA) Synthesizing Skeletons for Reactive Systems
MFCS International Symposium on Mathematical Foundations of Computer Science (MFCS) Routing with Congestion in Acyclic Digraphs.
SWAT The Complexity Landscape of Fixed-Parameter Directed Steiner Network Problems (Invited Talk).