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

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

Article

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

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2022-03-31

Constrained Proximity Attacks on Mobile Targets

Article

ACM Transactions on Privacy and Security

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2022-03-31

Live synthesis

Article

Innovations in Systems and Software Engineering

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

PKRU-safe:
automatically locking down the heap between safe and unsafe languages

Conference / Medium

Eurosys Conference (EuroSys) PKRU-safe: automatically locking down the heap between safe and unsafe languages

Tags
Authors
  • Paul Kirth
  • Mitchel Dickerson
  • Stephen Crane
  • Per Larsen
  • Adrian Dabrowski
  • David Gens
  • Yeoul Na
  • Stijn Volckaert
  • Michael Franz
Full Paper Visit Detail Page
2022-03-26

A Survey on Applications of H-Technique:
Revisiting Security Analysis of PRP and PRF

Article

Entropy

Tags
Algorithmic Foundations and Cryptography
Authors
  • Ashwin Jha
  • Mridul Nandi
Full Paper Visit Detail Page
2022-03-08

Lattice-based Signatures with Tight Adaptive Corruptions and More

Book section

Lecture Notes in Computer Science

Tags
Algorithmic Foundations and Cryptography
Authors
  • Jiaxin Pan
  • Benedikt Wagner
Full Paper Visit Detail Page
2022-03-05

Omen:
discovering sequential patterns with reliable prediction delays

Article

Knowledge and Information Systems

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

Temporal Stream Logic modulo Theories

Conference / Medium

European Joint Conference on Theory and Practice of Software (ETAPS) Temporal Stream Logic modulo Theories

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

Understanding Utility and Privacy of Demographic Data in Education Technology by Causal Analysis and Adversarial-Censoring

Article

Proceedings on Privacy Enhancing Technologies

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page