Send email Copy Email Address

Publications

Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.

Filter

Year 2024

2024-06-16

Understanding Adversarially Robust Generalization via Weight-Curvature Index

Conference / Medium

ICML-Workshop (ICML-W)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2024-06-11

The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

Article

International Journal on Software Tools for Technology Transfer

Tags
Reliable Security Guarantees
Authors
  • 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
Full Paper Visit Detail Page
2024-06-11

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

Article

International Journal on Software Tools for Technology Transfer

Tags
Reliable Security Guarantees
Authors
  • 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
Full Paper Visit Detail Page
2024-06-11

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

Conference / Medium

Post-Quantum Cryptography (PQCrypto)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Markus Bläser
  • Zhili Chen
  • Dung Hoang Duong
  • Antoine Joux
  • Tuong Nguyen
  • Thomas Plantard
  • Youming Qiao
  • Willy Susilo
  • Gang Tang
Full Paper Visit Detail Page
2024-06-11

Composite Backdoor Attacks Against Large Language Models

Conference / Medium

Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2024-06-10

Counting Small Induced Subgraphs with Edge-Monotone Properties

Conference / Medium

ACM Symposium on Theory of Computing (STOC)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2024-06-06

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

Conference / Medium

International Symposium on Computational Geometry (SoCG)

Tags
Authors
Full Paper Visit Detail Page
2024-06-03

Make a Graph Singly Connected by Edge Orientations

Conference / Medium

International Workshop on Combinatorial Algorithm (IWOCA)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2024-06-01

Polynomial Time Key-Recovery Attack on High Rate Random Alternant Codes

Article

IEEE Transactions on Information Theory

Tags
Algorithmic Foundations and Cryptography
Authors
  • Magali Bardet
  • Rocco Mora
  • Jean-Pierre Tillich
Full Paper Visit Detail Page