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.
International Conference on Bridging the Gap Between AI and Reality (AISoLA)
Responsible and Trusted AI: An Interdisciplinary Perspective (2025)
ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)
Verifying Asynchronous Hyperproperties in Reactive Systems
CONFERENCE ON LANGUAGE MODELING(COLM))
Cutting the Root of Hallucination: Structural Trimming for Vulnerability Mitigation in Code LLMs
IEEE Transactions on Dependable and Secure Computing Revealing the Risk of Hyper-parameter Leakage in Deep Reinforcement Learning Models
ACM Transactions on the Web (TWEB) It’s not Easy: Applying Supervised Machine Learning to Detect Malicious Extensions in the Chrome Web Store
ACM Internet Measurement Conference (IMC)
CookieGuard: Characterizing and Isolating the First-Party Cookie Jar
Conference on Neural Information Processing Systems (NeurIPS)
One Sample is Enough to Make Conformal Prediction Robust
Privacy Enhancing Technologies Symposium (PETS)
TEEMS: A Trusted Execution Environment based Metadata-protected Messaging System
Microarchitecture Security Conference (uASC)
Zero-Store Elimination and its Implications on the SIKE Cryptosystem