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.
International Symposium on Software Testing and Analysis (ISSTA) Automated fixing of programs with contracts
ACM Symposium on Theory of Computing (STOC) Tractable hypergraph properties for constraint satisfaction and conjunctive queries
IEEE Annual Conference on Computational Complexity (CCC) Completely inapproximable monotone and antimonotone parameterized problems
Workshop on Positioning, Navigation and Communication (WPNC) UWB impulse radio based distance bounding
ICST (Un-)Covering Equivalent Mutants
Pairing Pairing Computation on Elliptic Curves with Efficiently Computable Endomorphism and Small Embedding Degree
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) New Generic Algorithms for Hard Knapsacks
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) Improved Generic Algorithms for 3-Collisions