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.
CIAC Parameterized Algorithms for Generalizations of Directed Feedback Vertex Set
IEEE Computer Security Foundations Symposium (CSF) Automated Verification of Accountability in Security Protocols
International Symposium on Parameterized and Exact Computation (IPEC) Finding and Counting Permutations via CSPs.
Juris Praxiskommentar BGB Band 4 - Familienrecht
CDC Distributed Synthesis of Surveillance Strategies for Mobile Sensors
CDC Synthesis of Surveillance Strategies via Belief Abstraction
Annual Computer Security Applications Conference (ACSAC) Towards Automated Generation of Exploitation Primitives for Web Browsers
Conference on Neural Information Processing Systems (NeurIPS)
Annual Computer Security Applications Conference (ACSAC) A Large Scale Investigation of Obfuscation Use in Google Play