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.
IEEE Transactions on Information Theory Polynomial Time Key-Recovery Attack on High Rate Random Alternant Codes
Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL) SimSCOOD: Systematic Analysis of Out-of-Distribution Generalization in Fine-tuned Source Code Models
IEEE Transactions on Pattern Analysis and Machine Intelligence B-cos Alignment for Inherently Interpretable CNNs and Vision Transformers.
Discrete Mathematics Decompositions into two linear forests of bounded lengths
Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL) Composite Backdoor Attacks Against Large Language Models
Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL) PoLLMgraph: Unraveling Hallucinations in Large Language Models via State Transition Dynamics
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