E-mail senden E-Mail Adresse kopieren

Alle PubliKationen 

Das wichtigste Messinstrument für unsere wissenschaftliche Exzellenz und unseren Impact sind wissenschaftliche Publikationen. In den vergangenen Jahren haben CISPA-WissenschaftlerInnen Papiere auf wissenschaftlichen Konferenzen – die meisten davon auf den Top-Konferenzen – und Artikel in angesehenen Zeitschriften veröffentlicht. In unserer Publikationsdatenbank sind die Publikationen ab dem Jahr 2011 aufgeführt und jeweils direkt mit dem Originalpapier verlinkt.

Filter

Jahr 2024

2024-09-18

Call Graph Soundness in Android Static Analysis

Konferenz / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
  • Jordan Samhi
  • René Just
  • Tegawendé Bissyandé
  • Michael Ernst
  • Jacques Klein
Zum Paper Detail-Seite besuchen
2024-09-13

WebAssembly as a Fuzzing Compilation Target (Registered Report)

Konferenz / Medium

International Fuzzing Workshop (FUZZING)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2024-09-11

Shaping Test Inputs in Grammar-Based Fuzzing

Konferenz / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • José Antonio Zamudio Amaya
Zum Paper Detail-Seite besuchen
2024-09-11

Privacy-Aware Document Visual Question Answering

Konferenz / Medium

International Conference on Document Analysis and Recognition (ICDAR)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
  • Rubèn Tito
  • Khanh Nguyen
  • Marlon Tobaben
  • Raouf Kerkouche
  • Mohamed Ali Souibgui
  • Kangsoo Jung
  • Joonas Jälkö
  • Vincent Poulain D’Andecy
  • Aurelie Joseph
  • Lei Kang
  • Ernest Valveny
  • Antti Honkela
  • Mario Fritz
  • Dimosthenis Karatzas
Zum Paper Detail-Seite besuchen
2024-09-11

Learning the Effects of Software Changes

Konferenz / Medium

International Symposium on Software Testing and Analysis (ISSTA)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2024-09-11

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata

Konferenz / Medium

Formal Methods (FM)

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

Recommending and release planning of user-driven functionality deletion for mobile apps

Artikel

Requirements Engineering

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2024-09-10

Round Efficient Byzantine Agreement from VDFs

Konferenz / Medium

Conference on Security and Cryptography for Networks (SCN)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2024-09-10

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks

Konferenz / Medium

German Conference on Pattern Recognition (GCPR)

Tags
Vertrauenswürdige Informations­verarbeitung Zuverlässige Sicherheitsgarantien
Autor:innen
Detail-Seite besuchen