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 2021

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

Rate-1 Quantum Fully Homomorphic Encryption

chapter

Theory of Cryptography

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
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
  • Tom Horak
  • Norine Coenen
  • Niklas Metzger
  • Christopher Hahn
  • Tamara Flemisch
  • Julián Méndez
  • Dennis Dimov
  • Bernd Finkbeiner
  • Raimund Dachselt
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

Compositional Synthesis of Modular Systems

chapter

Automated Technology for Verification and Analysis

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
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