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

Buchkapitel

Brexit - Privat- und wirtschaftsrechtliche Folgen

Konferenz / Medium

Computer Aided Verification (CAV)

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.