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

Sentence Embedding Encoders are Easy to Steal but Hard to Defend

Conference / Medium

International Conference on Learning Representations (ICLR)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2023-05-03

Fuzzing Embedded Systems Using Debug Interfaces

Conference / Medium

International Symposium on Software Testing and Analysis (ISSTA)

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

Laconic Function Evaluation for Turing Machines

Conference / Medium

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

Tags
Algorithmic Foundations and Cryptography
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

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