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.
Journal of Automated Reasoning Schematic Program Proofs with Abstract Execution
International Conference on Automated Planning and Scheduling (ICAPS) Non-deterministic Planning for Hyperproperty Verification
ACM Conference on Security and Privacy in Wireless and Mobile Networks (ACM WiSec) VSAsTer: Uncovering Inherent Security Issues in Current VSAT System Practices
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) Early Stopping Byzantine Agreement in $(1+ε)\cdot f$ Rounds
Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL) Understanding and Bridging the Gap Between Unsupervised Network Representation Learning and Security Analytics
keine TuDoor Attack: Systematically Exploring and Exploiting Logic Vulnerabilities in DNS Response Pre-processing with Malformed Packets
IEEE Symposium on Security and Privacy (S&P) A Representative Study on Human Detection of Artificially Generated Media Across Countries
IEEE Symposium on Security and Privacy (S&P)
IEEE Symposium on Security and Privacy (S&P) Janus: Safe Biometric Deduplication for Humanitarian Aid Distribution