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.
Advances in Cryptology – EUROCRYPT 2020
Conference on Security and Cryptography for Networks (SCN)
International Conference on Software Engineering (ICSE)
Automated Software Engineering Conference (ASE)
Verification, Model Checking and Abstract Interpretation (VMCAI)
Lecture Notes in Computer Science
Computer Aided Verification (CAV)
International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT)
Computer Aided Verification (CAV)
International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT)