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

Inducing Subtle Mutations with Program Repair

Conference / Medium

International Conference on Software Testing Verification and Validation (ICST)

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

Locating Faults with Program Slicing: An Empirical Analysis

Article

Empirical Software Engineering

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

RTLola on Board: Testing Real Driving Emissions on your Phone

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
  • Sebastian Biewer
  • Bernd Finkbeiner
  • Holger Hermanns
  • Maximilian A Köhl
  • Yannik Schnitzer
  • Maximilian Schwenger
Full Paper Visit Detail Page
2021-03-25

SUSAN: The Structural Similarity Random Walk Kernel

Conference / Medium

SIAM International Conference on Data Mining (SDM)

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

Mining Easily Understandable Models from Complex Event Logs

Conference / Medium

SIAM International Conference on Data Mining (SDM)

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

They Would do Better if They Worked Together: The Case of Interaction Problems Between Password Managers and Websites

Conference / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2021-03-22

Parameterized Intractability of Even Set and Shortest Vector Problem

Article

Journal of the ACM

Tags
Algorithmic Foundations and Cryptography
Authors
  • Arnab Bhattacharyya
  • Édouard Bonnet
  • László Egri
  • Suprovat Ghoshal
  • CS Karthik
  • Bingkai Lin
  • Pasin Manurangsi
  • Dániel Marx
Full Paper Visit Detail Page
2021-03-04

Cali: Compiler Assisted Library Isolation

Conference / Medium

ACM ASIA Conference on Computer and Communications Security (AsiaCCS)

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

Certified Abstract Cost Analysis

chapter

Fundamental Approaches to Software Engineering

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page