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 2021

2021-11-04

On the Impossibility of Purely Algebraic Signatures

chapter

Theory of Cryptography

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Nico Döttling
  • Dominik Hartmann
  • Dennis Hofheinz
  • Eike Kiltz
  • Sven Schäge
  • Bogdan Ursu
Zum Paper Detail-Seite besuchen
2021-11-04

Laconic Private Set Intersection and Applications

chapter

Theory of Cryptography

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Navid Alamati
  • Pedro Branco
  • Nico Döttling
  • Sanjam Garg
  • Mohammad Hajiabadi
  • Sihang Pu
Zum Paper Detail-Seite besuchen
2021-11

What's in the Box? Exploring the Inner Life of Neural Networks with Robust Rules

Konferenz / Medium

International Conference on Machine Learning (ICML)

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

ANYway: Measuring the Amplification DDoS Potential of Domains

Konferenz / Medium

International Conference on Network and Service Management (CNSM)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Olivier van der Toorn
  • Johannes Krupp
  • Mattijs Jonker
  • Roland van Rijswijk-Deij
  • Christian Rossow
  • Anna Sperotto
Zum Paper Detail-Seite besuchen
2021-10-23

Visual Analysis of Hyperproperties for Understanding Model Checking Results

Konferenz / Medium

IEEE Visualization Conference (VIS)

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

Validation of Side-Channel Models via Observation Refinement

Konferenz / Medium

IEEE/ACM International Symposium on Microarchitecture (MICRO)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Pablo Buiras
  • Hamed Nemati
  • Andreas Lindner
  • Roberto Guanciale
Zum Paper Detail-Seite besuchen
2021-10-20

QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems

Artikel

Proceedings of the ACM on Programming Languages

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

Runtime Enforcement of Hyperproperties

Konferenz / Medium

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

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

Compositional Synthesis of Modular Systems

chapter

Automated Technology for Verification and Analysis

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