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 2026

Buchkapitel

Trace Repair for Temporal Behavior Trees

Buchkapitel

Atomic Gliders and Cellular Automata as Language Generators

Buchkapitel

Dominant Strategies for Hyperproperties

Buchkapitel

Challenges and Algorithms for Knowledge Discovery from Data

Konferenz / Medium

ACM-SIAM Symposium on Discrete Algorithms (SODA)
A Post-Quantum Lower Bound for the Distributed Lovasz Local Lemma.

Konferenz / Medium

ACM ASIA Conference on Computer and Communications Security (AsiaCCS)
Shape-Shifting Malicious Code in Software Backdoors via Language Models

Konferenz / Medium

Security, Privacy, and Applied Cryptography Engineering (SPACE)
A New Perspective on the Decomposition in the Jacobian of Small Genus Hyperelliptic Curve

Jahr 2025

Konferenz / Medium

ACM ASIA Conference on Computer and Communications Security (AsiaCCS)
VDPCollect: Vulnerability Disclosure Programs as a Complement to Web Security Measurements

Konferenz / Medium

Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
Parameterized Verification of Timed Networks with Clock Invariants