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 2019

2019-10-29

A Graph-Based Approach to Explore Relationship Between Hashtags and Images

Konferenz / Medium

International Conference on Web Information Systems Engineering (WISE)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2019-10-29

Deep Appearance Maps

Artikel

CoRR

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2019-10-28

Truth Assignments as Conditional Autarkies

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Benjamin Kiesl
  • Marijn JH Heule
  • Armin Biere
Zum Paper Detail-Seite besuchen
2019-10-25

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Konferenz / Medium

Formal Methods in Computer-Aided Design (FMCAD)

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

CTRL-PACE: Controlled Randomness for e-Passport Password Authentication

Artikel

Fundamenta Informaticae

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2019-10-08

ACM Computer Science in Cars Symposium

Buch

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
  • Hans-Joachim Hof
  • Mario Fritz
  • Christoph Krauss
  • Oliver Wasenmüller
Zum Paper Detail-Seite besuchen
2019-10-04

A symbolic algorithm for lazy synthesis of eager strategies

Artikel

Acta Informatica

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

Efficient Information-Flow Verification under Speculative Execution

chapter

Automated Technology for Verification and Analysis

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2019-09-29

PAtt: Physics-based Attestation of Control Systems

Konferenz / Medium

International Symposium on Research in Attacks Intrusions and Defenses (RAID)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Hamid Reza Ghaeini
  • Matthew Chan
  • Raad Bahmani
  • Ferdinand Brasser
  • Luis Garcia
  • Jianying Zhou
  • Ahmad-Reza Sadeghi
  • Nils Ole Tippenhauer
  • Saman Zonouz
Zum Paper Detail-Seite besuchen