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