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.
ACM Conference on Computer and Communications Security (CCS) (Nothing else) MATor(s): Monitoring the Anonymity of Tor's Path Selection
Pacific Rim International Symposium on Dependable Computing Automatic Generation of Security Argument Graphs
IEEE International Conference on Communications (ICC) On advanced monitoring in resilient and unstructured P2P botnets
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