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.
Security and Privacy Trends in the Industrial Internet of Things
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database (ECML PKDD)
Information Security Practice and Experience
International Symposium on Automated Technology for Verification and Analysis (ATVA)
International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT)
Computer Aided Verification (CAV)
Computer Aided Verification
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Automated Technology for Verification and Analysis