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 2024

2024-06-17

Completing the Node-Averaged Complexity Landscape of LCLs on Trees

Konferenz / Medium

ACM Symposium on Principles of Distributed Computing (PODC)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2024-06-17

Brief Announcement: Local Advice and Local Decompression

Konferenz / Medium

ACM Symposium on Principles of Distributed Computing (PODC)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Alkida Balliu
  • Sebastian Brandt
  • Fabian Kuhn
  • Krzysztof Nowicki
  • Dennis Olivetti
  • Eva Rotenberg
  • Jukka Suomela
Zum Paper Detail-Seite besuchen
2024-06-16

Do Parameters Reveal More than Loss for Membership Inference?

Konferenz / Medium

ICML-Workshop (ICML-W)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2024-06-16

Understanding Adversarially Robust Generalization via Weight-Curvature Index

Konferenz / Medium

ICML-Workshop (ICML-W)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2024-06-11

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Artikel

International Journal on Software Tools for Technology Transfer

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Swen Jacobs
  • Guillermo A Pérez
  • Remco Abraham
  • Véronique Bruyère
  • Michaël Cadilhac
  • Maximilien Colange
  • Charly Delfosse
  • Tom van Dijk
  • Alexandre Duret-Lutz
  • Peter Faymonville
  • Bernd Finkbeiner
  • Ayrat Khalimov
  • Felix Klein
  • Michael Luttenberger
  • Klara J Meyer
  • Thibaud Michaud
  • Adrien Pommellet
  • Florian Renkin
  • Philipp Schlehuber-Caissier
  • Mouhammad Sakr
  • Salomon Sickert
  • Gaëtan Staquet
  • Clément Tamines
  • Leander Tentrup
  • Adam Walker
Zum Paper Detail-Seite besuchen
2024-06-11

On Digital Signatures Based on Group Actions: QROM Security and Ring Signatures

Konferenz / Medium

Post-Quantum Cryptography (PQCrypto)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Markus Bläser
  • Zhili Chen
  • Dung Hoang Duong
  • Antoine Joux
  • Tuong Nguyen
  • Thomas Plantard
  • Youming Qiao
  • Willy Susilo
  • Gang Tang
Zum Paper Detail-Seite besuchen
2024-06-11

The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

Artikel

International Journal on Software Tools for Technology Transfer

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Swen Jacobs
  • Guillermo A Pérez
  • Remco Abraham
  • Véronique Bruyère
  • Michaël Cadilhac
  • Maximilien Colange
  • Charly Delfosse
  • Tom van Dijk
  • Alexandre Duret-Lutz
  • Peter Faymonville
  • Bernd Finkbeiner
  • Ayrat Khalimov
  • Felix Klein
  • Michael Luttenberger
  • Klara Meyer
  • Thibaud Michaud
  • Adrien Pommellet
  • Florian Renkin
  • Philipp Schlehuber-Caissier
  • Mouhammad Sakr
  • Salomon Sickert
  • Gaëtan Staquet
  • Clément Tamines
  • Leander Tentrup
  • Adam Walker
Zum Paper Detail-Seite besuchen
2024-06-10

Counting Small Induced Subgraphs with Edge-Monotone Properties

Konferenz / Medium

ACM Symposium on Theory of Computing (STOC)

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

Multicut Problems in Embedded Graphs: The Dependency of Complexity on the Demand Pattern

Konferenz / Medium

International Symposium on Computational Geometry (SoCG)

Tags
Autor:innen
Zum Paper Detail-Seite besuchen