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 2020

2020-06-27

Extracting taint specifications for JavaScript libraries

Conference / Medium

International Conference on Software Engineering (ICSE) Extracting taint specifications for JavaScript libraries

Tags
Authors
  • Cristian-Alexandru Staicu
  • Martin Toldam Torp
  • Max Schäfer
  • Anders Møller
  • Michael Pradel
Full Paper Visit Detail Page
2020-06-27

Better code, better sharing:
on the need of analyzing jupyter notebooks

Conference / Medium

International Conference on Software Engineering (ICSE) Better code, better sharing: on the need of analyzing jupyter notebooks

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2020-06-22

Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries

Book section

Lecture Notes in Computer Science

Tags
Algorithmic Foundations and Cryptography
Authors
  • Hojat Khosrowjerdi
  • Hamed Nemati
  • Karl Meinke
Full Paper Visit Detail Page
2020-06-21

Better Code, Better Sharing:
On the Need of Analyzing Jupyter Notebooks

Conference / Medium

International Conference on Software Engineering (ICSE)

Tags
Secure Connected and Mobile Systems
Authors
Full Paper Visit Detail Page
2020-06-18

Normalizing Flows with Multi-scale Autoregressive Priors

Conference / Medium

IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Tags
Trustworthy Information Processing
Authors
  • Apratim Bhattacharyya
  • Shweta Mahajan
  • Mario Fritz
  • Bernt Schiele
  • Stefan Roth
Full Paper Visit Detail Page
2020-06-18

IReEn:
Iterative Reverse-Engineering of Black-Box Functions via Neural Program Synthesis

Article

CoRR

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2020-06-17

Towards Causal VQA:
Revealing and Reducing Spurious Correlations by Invariant and Covariant Semantic Editing

Conference / Medium

IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2020-06-13

When does my Program do this? Learning Circumstances of Software Behavior

Conference / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Tags
Secure Connected and Mobile Systems
Authors
Full Paper Visit Detail Page
2020-06-08

Abstracting Failure-Inducing Inputs

Conference / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Secure Connected and Mobile Systems
Authors
  • Rahul Gopinath
  • Alexander Kampmann
  • Nikolas Havrikov
  • Ezekiel Soremekun
  • Andreas Zeller
Full Paper Visit Detail Page