E-mail senden E-Mail Adresse kopieren

Alle PubliKationen 

Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.

Filter

Jahr 2020

2020-06-26

Controller Synthesis for Hyperproperties

Konferenz / Medium

IEEE Computer Security Foundations Symposium (CSF)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2020-06-22

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

chapter

Tests and Proofs

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Hojat Khosrowjerdi
  • Hamed Nemati
  • Karl Meinke
Zum Paper Detail-Seite besuchen
2020-06-21

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

Konferenz / Medium

International Conference on Software Engineering (ICSE)

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
Zum Paper Detail-Seite besuchen
2020-06-18

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

Artikel

CoRR

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2020-06-18

Normalizing Flows with Multi-scale Autoregressive Priors

Konferenz / Medium

IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
  • Apratim Bhattacharyya
  • Shweta Mahajan
  • Mario Fritz
  • Bernt Schiele
  • Stefan Roth
Zum Paper Detail-Seite besuchen
2020-06-17

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

Konferenz / Medium

IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2020-06-13

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

Konferenz / Medium

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

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
Zum Paper Detail-Seite besuchen
2020-06-08

Abstracting Failure-Inducing Inputs

Konferenz / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
  • Rahul Gopinath
  • Alexander Kampmann
  • Nikolas Havrikov
  • Ezekiel Soremekun
  • Andreas Zeller
Zum Paper Detail-Seite besuchen
2020-06-05

Assessing the Impact of Script Gadgets on CSP at Scale

Konferenz / Medium

ACM ASIA Conference on Computer and Communications Security (AsiaCCS)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen