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.
ACC Abstractions and sensor design in partial-information, reactive controller synthesis
ACM Symposium on Principles of Distributed Computing (PODC) Brief announcement: local approximability of minimum dominating set on planar graphs
ACM ASIA Conference on Computer and Communications Security (AsiaCCS) Protecting users against XSS-based password manager abuse
SIAM International Conference on Data Mining (SDM) VOG: Summarizing and Understanding Large Graphs
ACM-SIAM Symposium on Discrete Algorithms (SODA) Tight Bounds for Planar Strongly Connected Steiner Subgraph with Fixed Number of Terminals (and Extensions)
QEST CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems
Sicherheit 2014 - Sicherheit, Schutz und Zuverlässigkeit DOM-basiertes Cross-Site Scripting im Web: Reise in ein unerforschtes Land.
Usenix Security Symposium (USENIX-Security) Precise Client-side Protection against DOM-based Cross-Site Scripting.
STM Lime: Data Lineage in the Malicious Environment