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-12-31

Subexponential Parameterized Algorithms for Planar and Apex-Minor-Free Graphs via Low Treewidth Pattern Covering

Article

SIAM Journal on Computing

Tags
Algorithmic Foundations and Cryptography
Authors
  • Fedor V Fomin
  • Daniel Lokshtanov
  • Dániel Marx
  • Marcin Pilipczuk
  • Michał Pilipczuk
  • Saket Saurabh
Full Paper Visit Detail Page
2022-12-29

Automated Program Repair Using Formal Verification Techniques

chapter

Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Tags
Reliable Security Guarantees
Authors
  • Hadar Frenkel
  • Grumberg Orna
  • Rothenberg Bat-Chen
  • Sheinvald Sarai
Full Paper Visit Detail Page
2022-12-20

FuzzGAN: A Generation-Based Fuzzing Framework for Testing Deep Neural Networks

Conference / Medium

IEEE International Conference on High Performance Computing and Communications (HPCC)

Tags
Trustworthy Information Processing
Authors
  • Ge Han
  • Zheng Li
  • Peng Tang
  • Chengyu Hu
  • Shanqing Guo
Full Paper Visit Detail Page
2022-12-19

DRAGON: Determining Regulatory Associations using Graphical models on multi-Omic Networks

Article

Nucleic Acids Research

Tags
Reliable Security Guarantees
Authors
  • Katherine H Shutta
  • Deborah Weighill
  • Rebekka Burkholz
  • Marouen Ben Guebila
  • Dawn L DeMeo
  • Helena U Zacharias
  • John Quackenbush
  • Michael Altenbuchinger
Full Paper Visit Detail Page
2022-12-18

Synthesizing Dominant Strategies for Liveness

Conference / Medium

Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)

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

TyPro: Forward CFI for C-Style Indirect Function Calls Using Type Propagation

Conference / Medium

Annual Computer Security Applications Conference (ACSAC)

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

Towards Tight Security Bounds for OMAC, XCBC and TMAC

chapter

Advances in Cryptology – ASIACRYPT 2022

Tags
Algorithmic Foundations and Cryptography
Authors
  • Soumya Chattopadhyay
  • Ashwin Jha
  • Mridul Nandi
Full Paper Visit Detail Page
2022-12-05

Assessing Model-free Anomaly Detection in Industrial Control Systems Against Generic Concealment Attacks

Conference / Medium

Annual Computer Security Applications Conference (ACSAC)

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

Anti-Factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard)

Conference / Medium

International Symposium on Parameterized and Exact Computation (IPEC)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page