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

Book section

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

Video Rescaling Networks with Joint Optimization Strategies for Downscaling and Upscaling

Conference / Medium

IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Tags
Trustworthy Information Processing
Authors
  • Yan-Cheng Huang
  • Yi-Hsin Chen
  • Cheng-You Lu
  • Hui Po Wang
  • Wen-Hsiao Peng
  • Ching-Chun Huang
Full Paper Visit Detail Page
2021-06-25

Hijack-GAN: Unintended-Use of Pretrained, Black-Box GANs

Conference / Medium

IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page