Send email Copy Email Address

Publications

Scientific Publications are the most important measure of our scientific excellence and impact. In the past years, CISPA researchers have published many papers at scientific conferences – most of which were in top-tier conferences – and articles in prestigious journals. The publications from 2011 onwards are listed in our publications database, including a direct link to the original paper.

Filter

Year 2023

2023-05-02

Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus

Conference / Medium

International Conference on Practice and Theory in Public Key Cryptography (PKC)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Shravan Srinivasan
  • Julian Loss
  • Giulio Malavolta
  • Kartik Nayak
  • Charalampos Papamanthou
  • Sri AravindaKrishnan Thyagarajan
Full Paper Visit Detail Page
2023-05-01

SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript

Conference / Medium

International Conference on Software Engineering (ICSE)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2023-05-01

Learning Test Input Constraints from Branch Conditions

Conference / Medium

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

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
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

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

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

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