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 2025

2025-01-27

A Tutorial on Stream-Based Monitoring

Conference / Medium

Formal Methods (FM)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2025-01-25

Scalable Decentralized Learning with Teleportation

Conference / Medium

International Conference on Learning Representations (ICLR)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2025-01-24

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction

Conference / Medium

International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Lecture Notes in Computer Science

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2025-01-22

Differentially Private Federated Learning with Time-Adaptive Privacy Spending

Conference / Medium

International Conference on Learning Representations (ICLR)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2025-01-22

Unsafe Code Still a Hurdle Copilot Must Clear

Article

Communications of the ACM

Tags
Threat Detection and Defenses
Authors
  • Thorsten Holz
Full Paper Visit Detail Page
2025-01-22

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks

Conference / Medium

52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2025-01-22

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2025-01-22

GNNs Getting ComFy: Community and Feature Similarity Guided Rewiring

Conference / Medium

International Conference on Learning Representations (ICLR)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2025-01-22

Mask in the Mirror: Implicit Sparsification

Conference / Medium

International Conference on Learning Representations (ICLR)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page