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-07

Parameterized Verification of Systems with Global Synchronization and Guards

Konferenz / Medium

Computer Aided Verification (CAV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Nouraldin Jaber
  • Swen Jacobs
  • Christopher Wagner
  • Milind Kulkarni
  • Roopsha Samanta
Zum Paper Detail-Seite besuchen
2020-06-31

Key Negotiation Downgrade Attacks on Bluetooth and Bluetooth Low Energy

Artikel

Transactions on Privacy and Security (TOPS)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2020-06-27

Extracting taint specifications for JavaScript libraries

Konferenz / Medium

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

Tags
Autor:innen
  • Cristian-Alexandru Staicu
  • Martin Toldam Torp
  • Max Schäfer
  • Anders Møller
  • Michael Pradel
Zum Paper Detail-Seite besuchen
2020-06-27

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

Konferenz / Medium

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

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2020-06-22

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

Buchkapitel

Lecture Notes in Computer Science

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

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