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 Cybersecurity Development (SecDev)
Securing Your Crypto-API Usage Through Tool Support - A Usability Study
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Leveraging Static Analysis: An IDE for RTLola
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Checking and Sketching Causes on Temporal Sequences
International Symposium on Research in Attacks Intrusions and Defenses (RAID)
Container Orchestration Honeypot: Observing Attacks in the Wild
Proceedings of the ACM on Programming Languages Automated Ambiguity Detection in Layout-Sensitive Grammars
International Symposium on Research in Attacks Intrusions and Defenses (RAID)
Honey, I Cached our Security Tokens Re-usage of Security Tokens in the Wild
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Reactive Synthesis of Smart Contract Control Flows.
Network and Distributed System Security Symposium (NDSS)
LMSanitator: Defending Prompt-Tuning Against Task-Agnostic Backdoors.
CoRR Bucks for Buckets (B4B): Active Defenses Against Stealing Encoders.