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 2021

2021-07-19

Assessing the Use of Insecure ICS Protocols via IXP Network Traffic Analysis

Conference / Medium

International Conference on Computer Communications and Networks (ICCCN)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2021-07-16

Privacy considerations for sharing genomics data

Article

EXCLI Journal Eperimental and Clinical Sciences

Tags
Trustworthy Information Processing
Authors
  • Marie Oestreich
  • Dingfan Chen
  • Joachim L Schultze
  • Mario Fritz
  • Matthias Becker
Full Paper Visit Detail Page
2021-07-15

Causality-Based Game Solving

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2021-07-15

A Temporal Logic for Asynchronous Hyperproperties

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2021-07-14

Almost Tight Lower Bounds for Hard Cutting Problems in Embedded Graphs

Article

Journal of the ACM

Tags
Algorithmic Foundations and Cryptography
Authors
  • Vincent Cohen-Addad
  • Éric Colin De Verdière
  • Dániel Marx
  • Arnaud De Mesmay
Full Paper Visit Detail Page
2021-07-02

Degrees and Gaps: Tight Complexity Results of General Factor Problems Parameterized by Treewidth and Cutwidth

Conference / Medium

International Colloquium on Automata Languages and Programming (ICALP)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2021-07

AIGEN: Random Generation of Symbolic Transition Systems

chapter

Computer Aided Verification

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2021-06-30

Identity-based Encryption from the Diffie-Hellman Assumption

Article

Journal of the ACM

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2021-06-28

Data-driven equation for drug-membrane permeability across drugs and membranes

Article

The Journal of Chemical Physics

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page