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 2019

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA) Automated Technology for Verification and Analysis

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Konferenz / Medium

Principles of Security and Trust (POST) A Dependently Typed Library for Static Information-Flow Control in Idris

Konferenz / Medium

Conference on Neural Information Processing Systems (NeurIPS) Initialization of ReLUs for Dynamical Isometry.

Konferenz / Medium

Usenix Security Symposium (USENIX-Security) Leaky Images: Targeted Privacy Attacks in the Web.

Konferenz / Medium

Usenix Security Symposium (USENIX-Security) AntiFuzz: Impeding Fuzzing Audits of Binary Executables.

Konferenz / Medium

IEEE International Conference on Data Mining (ICDM)