Send email Copy Email Address

Publications

Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.

Filter

Year 2019

2019-04-04

Encoding Redundancy for Satisfaction-Driven Clause Learning

Conference / Medium

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

Tags
Reliable Security Guarantees
Authors
  • Marijn JH Heule
  • Benjamin Kiesl
  • Armin Biere
Full Paper Visit Detail Page
2019-04

Testing Conditional Independence on Discrete Data using Stochastic Complexity

Conference / Medium

International Conference on Artificial Intelligence and Statistics (AISTATS)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2019-04

Multi-device anonymous authentication

Article

International Journal of Information Security

Tags
Algorithmic Foundations and Cryptography
Authors
  • Kamil Kluczniak
  • Jianfeng Wang
  • Xiaofeng Chen
  • Miroslaw Kutylowski
Full Paper Visit Detail Page
2019-04

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

Conference / Medium

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

Tags
Secure Connected and Mobile Systems
Authors
Full Paper Visit Detail Page
2019-03-25

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

Conference / Medium

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

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2019-03-25

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

Conference / Medium

Eurosys Conference (Eurosys)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Ajay Brahmakshatriya
  • Piyus Kedia
  • Hamed Nemati
  • Derrick McKee
  • Pratik Bhatu
  • Deepak Garg
  • Akash Lal
  • Aseem Rastogi
Full Paper Visit Detail Page
2019-03

Approximating Algorithmic Conditional Independence for Discrete Data

Conference / Medium

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

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page
2019-02-25

DroidCap:
OS Support for Capability-based Permissions in Android

Conference / Medium

Network and Distributed System Security Symposium (NDSS)

Tags
Secure Connected and Mobile Systems
Authors
Full Paper Visit Detail Page
2019-02-24

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

Conference / Medium

Network and Distributed System Security Symposium (NDSS)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page