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.
Usenix Security Symposium (USENIX-Security)
Usenix Security Symposium (USENIX-Security)
The ACM SIGPLAN International Conference on Functional Programming (ICFP)
31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2 (KDD)
Workshop for Research on Agent Language Models at the 63rd Annual Meeting of the Association for Computational Linguistics (ACL)
Computer Aided Verification (CAV)
Usenix Security Symposium (USENIX-Security)
Association for Computing Machinery (ACM)