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)
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
IEEE Symposium on Security and Privacy (S&P)
Where Are the Red Lines? Towards Ethical Server-Side Scans in Security and Privacy Research