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

Promptness and Bounded Fairness in Concurrent and Parameterized Systems

chapter

Lecture Notes in Computer Science

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2020-01-11

SecWeb 2020 Preface

Konferenz / Medium

IEEE European Symposium on Security and Privacy (EuroS&P)

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

Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion

Artikel

Automatisierungstechnik

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
  • Marco Grochowski
  • Hendrik Simon
  • Dimitri Bohlender
  • Stefan Kowalewski
  • Andreas Löcklin
  • Timo Müller
  • Nasser Jazdi
  • Andreas Zeller
  • Michael Weyrich
Zum Paper Detail-Seite besuchen
2020

Assessing and Restoring Reproducibility of Jupyter Notebooks.

Konferenz / Medium

Automated Software Engineering Conference (ASE)

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

Heaps'n'Leaks: How Heap Snapshots Improve Android Taint Analysis

Konferenz / Medium

International Conference on Software Engineering (ICSE)

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
  • Manuel Benz
  • Erik Krogh Kristensen
  • Linghui Luo
  • Nataniel Pereira Borges Jr.
  • Eric Bodden
  • Andreas Zeller
Zum Paper Detail-Seite besuchen
2020

Two-Round Oblivious Transfer from CDH or LPN

Konferenz / Medium

International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

Konferenz / Medium

Computer Aided Verification (CAV)

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

Candidate iO from Homomorphic Encryption Schemes

chapter

Advances in Cryptology – EUROCRYPT 2020

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2020

<< I Know Where You Parked Last Summer >> Automated Reverse Engineering and Privacy Analysis of Modern Cars

Konferenz / Medium

IEEE Symposium on Security and Privacy (S&P)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Daniel Frassinelli
  • Sohyeon Park
  • Stefan Nürnberger
Zum Paper Detail-Seite besuchen