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-04-04

Encoding Redundancy for Satisfaction-Driven Clause Learning

Konferenz / Medium

TACAS Tools and Algorithms for Construction and Analysis of Systems (TACAS) Encoding Redundancy for Satisfaction-Driven Clause Learning

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Marijn JH Heule
  • Benjamin Kiesl
  • Armin Biere
Zum Paper Detail-Seite besuchen
2019-04

Testing Conditional Independence on Discrete Data using Stochastic Complexity

Konferenz / Medium

International Conference on Artificial Intelligence and Statistics (AISTATS)

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

Multi-device anonymous authentication

Artikel

International Journal of Information Security

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Kamil Kluczniak
  • Jianfeng Wang
  • Xiaofeng Chen
  • Miroslaw Kutylowski
Zum Paper Detail-Seite besuchen
2019-04

Why does this App need this Data? Automatic Tightening of Resource Access

Konferenz / Medium

International Conference on Software Testing Verification and Validation (ICST) Why does this App need this Data? Automatic Tightening of Resource Access

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
Zum Paper Detail-Seite besuchen
2019-03-25

Detection of Threats to IoT Devices using Scalable VPN-forwarded Honeypots

Konferenz / Medium

ACM Conference on Data and Application Security and Privacy (CODASPY)

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

ConfLLVM:
A Compiler for Enforcing Data Confidentiality in Low-Level Code

Konferenz / Medium

Eurosys Conference (Eurosys)

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Ajay Brahmakshatriya
  • Piyus Kedia
  • Hamed Nemati
  • Derrick McKee
  • Pratik Bhatu
  • Deepak Garg
  • Akash Lal
  • Aseem Rastogi
Zum Paper Detail-Seite besuchen
2019-03

Approximating Algorithmic Conditional Independence for Discrete Data

Konferenz / Medium

National Conference of the American Association for Artificial Intelligence (AAAI)

Tags
Empirische und Verhaltensorientierte Sicherheit
Autor:innen
Zum Paper Detail-Seite besuchen
2019-02-25

DroidCap:
OS Support for Capability-based Permissions in Android

Konferenz / Medium

Network and Distributed System Security Symposium (NDSS)

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
Zum Paper Detail-Seite besuchen
2019-02-24

ML-Leaks:
Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models

Konferenz / Medium

Network and Distributed System Security Symposium (NDSS)

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