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 2021

2021-07-15

A Temporal Logic for Asynchronous Hyperproperties

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2021-07-15

Causality-Based Game Solving

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2021-07-14

Almost Tight Lower Bounds for Hard Cutting Problems in Embedded Graphs

Article

Journal of the ACM

Tags
Algorithmic Foundations and Cryptography
Authors
  • Vincent Cohen-Addad
  • Éric Colin De Verdière
  • Dániel Marx
  • Arnaud De Mesmay
Full Paper Visit Detail Page
2021-07-02

Degrees and Gaps: Tight Complexity Results of General Factor Problems Parameterized by Treewidth and Cutwidth

Conference / Medium

International Colloquium on Automata Languages and Programming (ICALP)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2021-07

AIGEN: Random Generation of Symbolic Transition Systems

chapter

Computer Aided Verification

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2021-06-30

Identity-based Encryption from the Diffie-Hellman Assumption

Article

Journal of the ACM

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2021-06-28

Data-driven equation for drug-membrane permeability across drugs and membranes

Article

The Journal of Chemical Physics

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2021-06-25

MLCapsule: Guarded Offline Deployment of Machine Learning as a Service

Conference / Medium

European Conference on Computer Vision (ECCV)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2021-06-25

Verifying Accountability for Unbounded Sets of Participants

Conference / Medium

IEEE Computer Security Foundations Symposium (CSF)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page