Alle PubliKationen
Das wichtigste Messinstrument für unsere wissenschaftliche Exzellenz und unseren Impact sind wissenschaftliche Publikationen. In den vergangenen Jahren haben CISPA-WissenschaftlerInnen Papiere auf wissenschaftlichen Konferenzen – die meisten davon auf den Top-Konferenzen – und Artikel in angesehenen Zeitschriften veröffentlicht. In unserer Publikationsdatenbank sind die Publikationen ab dem Jahr 2011 aufgeführt und jeweils direkt mit dem Originalpapier verlinkt.
Automated Software Engineering Conference (ASE)
Verification, Model Checking and Abstract Interpretation (VMCAI)
Lecture Notes in Computer Science
International Conference on Software Engineering (ICSE)
Computer Aided Verification (CAV)
Computer Aided Verification (CAV)
Advances in Cryptology – EUROCRYPT 2020
Conference on Security and Cryptography for Networks (SCN)
International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT)
International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT)