E-mail senden E-Mail Adresse kopieren

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.

Filter

Jahr 2018

Konferenz / Medium

International Conference on Software Testing Verification and Validation (ICST)

Konferenz / Medium

IEEE European Symposium on Security and Privacy (EuroS&P)

Konferenz / Medium

Network and Distributed System Security Symposium (NDSS)

Konferenz / Medium

Verification, Model Checking and Abstract Interpretation (VMCAI)

chapter

Detection of Intrusions and Malware, and Vulnerability Assessment

chapter

Handbook of Model Checking