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.
GandALF Petri Games: Synthesis of Distributed Systems with Causal Memory
ARES A New Access Control Scheme for Facebook-style Social Networks
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