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

2019-10-04

A symbolic algorithm for lazy synthesis of eager strategies

Artikel

Acta Informatica

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2019-10

Efficient Information-Flow Verification under Speculative Execution

chapter

Automated Technology for Verification and Analysis

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2019-09-29

PAtt: Physics-based Attestation of Control Systems

Konferenz / Medium

International Symposium on Research in Attacks Intrusions and Defenses (RAID)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
  • Hamid Reza Ghaeini
  • Matthew Chan
  • Raad Bahmani
  • Ferdinand Brasser
  • Luis Garcia
  • Jianying Zhou
  • Ahmad-Reza Sadeghi
  • Nils Ole Tippenhauer
  • Saman Zonouz
Zum Paper Detail-Seite besuchen
2019-09-10

Sets of Robust Rules, and How to Find Them

chapter

Machine Learning and Knowledge Discovery in Databases

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2019-09-10

Towards Reverse-Engineering Black-Box Neural Networks

chapter

Explainable AI: Interpreting, Explaining and Visualizing Deep Learning

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2019-09

Telling cause from effect by local and global regression

Artikel

Knowledge and Information Systems

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2019-08-26

Zero Residual Attacks on Industrial Control Systems and Stateful Countermeasures

Konferenz / Medium

International Conference on Availability Reliability and Security (ARES)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2019-08-19

Trapdoor Hash Functions and Their Applications

Konferenz / Medium

Advances in Cryptology (CRYPTO)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Nico Döttling
  • Sanjam Garg
  • Yuval Ishai
  • Giulio Malavolta
  • Tamer Mour
  • Rafail Ostrovsky
Zum Paper Detail-Seite besuchen
2019-08-18

Highly Efficient Key Exchange Protocols with Optimal Tightness: Enabling real-world deployments with theoretically sound parameters

Konferenz / Medium

Advances in Cryptology (CRYPTO)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Katriel Cohn-Gordon
  • Cas Cremers
  • Kristian Gjøsteen
  • Hakon Jacobsen
  • Tibor Jager
Zum Paper Detail-Seite besuchen