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.
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
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT)
Early Stopping Byzantine Agreement in $(1+ε)\cdot f$ Rounds
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