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