Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
SYNT How to Handle Assumptions in Synthesis
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.