Send email Copy Email Address

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.

Filter

Year 2023

2023-10-19

Leveraging Static Analysis: An IDE for RTLola

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-10-19

Checking and Sketching Causes on Temporal Sequences

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-10-16

Honey, I Cached our Security Tokens Re-usage of Security Tokens in the Wild

Conference / Medium

International Symposium on Research in Attacks Intrusions and Defenses (RAID)

Tags
Secure Connected and Mobile Systems
Authors
Full Paper Visit Detail Page
2023-10-16

Automated Ambiguity Detection in Layout-Sensitive Grammars

Article

Proceedings of the ACM on Programming Languages

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2023-10-16

Container Orchestration Honeypot: Observing Attacks in the Wild

Conference / Medium

International Symposium on Research in Attacks Intrusions and Defenses (RAID)

Tags
Threat Detection and Defenses
Authors
  • Noah Spahn
  • Nils Hanke
  • Thorsten Holz
  • Christopher Kruegel
  • Giovanni Vigna
Full Paper Visit Detail Page
2023-10-16

FieldFuzz: In Situ Blackbox Fuzzing of Proprietary Industrial Automation Runtimes via the Network

Conference / Medium

International Symposium on Research in Attacks Intrusions and Defenses (RAID)

Tags
Secure Connected and Mobile Systems
Authors
  • Andrei Bytes
  • Prashant Hari Narayan Rajput
  • Constantine Doumanidis
  • Nils Ole Tippenhauer
  • Michail Maniatakos
  • Jianying Zhou
Full Paper Visit Detail Page
2023-10-15

Reactive Synthesis of Smart Contract Control Flows.

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-10-14

LMSanitator: Defending Prompt-Tuning Against Task-Agnostic Backdoors.

Conference / Medium

Network and Distributed System Security Symposium (NDSS)

Tags
Trustworthy Information Processing
Authors
  • Chengkun Wei
  • Wenlong Meng
  • Zhikun Zhang
  • Min Chen
  • Minghu Zhao
  • Wenjing Fang
  • Lei Wang
  • Zhikun Zhang
  • Wenzhi Chen
Full Paper Visit Detail Page
2023-10-12

Bucks for Buckets (B4B): Active Defenses Against Stealing Encoders.

Article

CoRR

Tags
Trustworthy Information Processing
Authors
Visit Detail Page