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.
52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
ACM Transactions on Software Engineering and Methodology Finding Information Leaks with Information Flow Fuzzing
Proceedings of the AAAI Conference on Artificial Intelligence
ACM-SIAM Symposium on Discrete Algorithms (SODA)
On the Locality of Hall's Theorem
ACM-SIAM Symposium on Discrete Algorithms (SODA)
From Graph Properties to Graph Parameters: Tight Bounds for Counting on Small Subgraphs
Symposium on Principles of Programming Languages (POPL)
Coinductive Proofs for Temporal Hyperliveness
2nd International Conference on Bridging the Gap Between AI and Reality, AISoLA 2024
Annual Meeting of the Association for Computational Linguistics (ACL)
Are We in the AI-Generated Text World Already? Quantifying and Monitoring AIGT on Social Media
European Conference on Artificial Intelligence (ECAI)
On Approximate MMS Allocations on Restricted Graph Classes