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 2022

2022-04-22

An online notebook resource for reproducible inference, analysis and publication of gene regulatory networks

Article

Nature Methods

Tags
Trustworthy Information Processing
Authors
  • Marouen Ben Guebila
  • Deborah Weighill
  • Camila M Lopes-Ramos
  • Rebekka Burkholz
  • Ramona T Pop
  • Kalyan Palepu
  • Mia Shapoval
  • Maud Fagny
  • Daniel Schlauch
  • Kimberly Glass
  • Michael Altenbuchinger
  • Marieke Kuijjer
  • John Platig
  • John Quackenbush
Full Paper Visit Detail Page
2022-04-14

Deciding Hyperproperties Combined with Functional Specifications

Conference / Medium

IEEE Symposium on Logic in Computer Science (LICS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2022-04-14

Debugger-driven Embedded Fuzzing

Conference / Medium

International Conference on Software Testing Verification and Validation (ICST)

Tags
Secure Connected and Mobile Systems
Authors
  • Max Eisele
Full Paper Visit Detail Page
2022-04-11

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation

Article

Algorithms

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2022-04-07

Synthesis of strategies for autonomous surveillance on adversarial targets

Article

Robotics and Autonomous Systems

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2022-04-01

V-Range: Enabling Secure Ranging in 5G Wireless Networks

Conference / Medium

Network and Distributed System Security Symposium (NDSS)

Tags
Secure Connected and Mobile Systems
Authors
Full Paper Visit Detail Page
2022-04

Practical Challenges in Differentially-Private Federated Survival Analysis of Medical Data

Conference / Medium

Conference on Health, Inference, and Learning (CHIL)

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

Compositional synthesis of modular systems

Article

Innovations in Systems and Software Engineering

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

A Subexponential Parameterized Algorithm for Directed Subset Traveling Salesman Problem on Planar Graphs

Article

SIAM Journal on Computing

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page