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.
ACM International Conference on Knowledge Discovery and Data Mining (KDD) Label-consistent Clustering for Evolving Data
Automated Software Engineering Conference (ASE) Feature-Focused Test Generation
IACR Communications in Cryptology Fherret: Proof of FHE Correct-and-Honest Evaluation with Circuit Privacy from MPCitH
International Conference on Principles of Knowledge Representation and Reasoning (KR) Knowledge Compilation for Quantification in Alternating Automata
MCU 2026 Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences
International Conference on Computer Aided Verification (CAV) 2026 Extending QuAK with Nested Quantitative Automata
IEEE Computer Security Foundations Symposium (CSF) Verifying and Monitoring the Lightweight Directory Access Protocal (LDAP)
Computer Aided Verification (CAV) TACO: A Toolsuite for the Verification of Threshold Automata
Privacy Enhancing Technologies Symposium (PETS) When Threshold Meets Anamorphic Signatures: What is Possible and What is Not!