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.
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