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-05-01

Grammar-Based String Refinement Types

Conference / Medium

International Conference on Software Engineering - Companion (ICSE-Companion)

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

Hammulator: Simulate Now - Exploit Later

Conference / Medium

Workshop on DRAM Security (DRAMSec)

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

The complexity of 2-vertex-connected orientation in mixed graphs

Article

Discrete Optimization

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2023-05

The Complexity of Routing Problems in Forbidden-Transition Graphs and Edge-Colored Graphs

Article

Algorithmica

Tags
Algorithmic Foundations and Cryptography
Authors
  • Thomas Bellitto
  • Shaohua Li
  • Karolina Okrasa
  • Marcin Pilipczuk
  • Manuel Sorge
Full Paper Visit Detail Page
2023-05

High-Fidelity Cyber and Physical Simulation of Water Distribution Systems. I: Models and Data

Article

Journal of Water Resources Planning and Management

Tags
Secure Connected and Mobile Systems
Authors
  • Andrés Murillo
  • Riccardo Taormina
  • Nils Ole Tippenhauer
  • Davide Salaorni
  • Robert van Dijk
  • Luc Jonker
  • Simcha Vos
  • Maarten Weyns
  • Stefano Galelli
Full Paper Visit Detail Page
2023-05

High-Fidelity Cyber and Physical Simulation of Water Distribution Systems. II: Enabling Cyber-Physical Attack Localization

Article

Journal of Water Resources Planning and Management

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

Iterative Circuit Repair Against Formal Specifications

Conference / Medium

International Conference on Learning Representations (ICLR)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2023-04-29

Why Are We Waiting? Discovering Interpretable Models for Predicting Sojourn and Waiting Times.

Conference / Medium

SIAM International Conference on Data Mining (SDM)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2023-04-27

Nothing but Regrets — Privacy-Preserving Federated Causal Discovery

Conference / Medium

International Conference on Artificial Intelligence and Statistics (AISTATS)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page