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 2023

2023-04-23

Chopsticks: Fork-Free Two-Round Multi-Signatures from Non-Interactive Assumptions

Article

Lecture Notes in Computer Science

Tags
Algorithmic Foundations and Cryptography
Authors
  • Pan Jiaxin
  • Benedikt Wagner
Full Paper Visit Detail Page
2023-04-22

AutoHyper: Explicit-State Model Checking for HyperLTL

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-04-22

Bounded Model Checking for Asynchronous Hyperproperties

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-04-22

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-04-20

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
  • Nouraldin Jaber
  • Christopher Wagner
  • Swen Jacobs
  • Milind Kulkarni
  • Roopsha Samanta
Full Paper Visit Detail Page
2023-04-20

Inferring Symbolic Automata

Article

Logical Methods in Computer Science

Tags
Reliable Security Guarantees
Authors
  • Fisman Dana
  • Hadar Frenkel
  • Zilles Sandra
Full Paper Visit Detail Page
2023-04-19

Different Researchers, Different Results? Analyzing the Influence of Researcher Experience and Data Type During Qualitative Analysis of an Interview and Survey Study on Security Advice

Conference / Medium

International Conference on Human Factors in Computing Systems (CHI)

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

Why I Can't Authenticate --- Understanding the Low Adoption of Authentication Ceremonies with Autoethnography

Conference / Medium

International Conference on Human Factors in Computing Systems (CHI)

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

A Psychometric Scale to Measure Individuals’ Value of Other People’s Privacy (VOPP)

Conference / Medium

International Conference on Human Factors in Computing Systems (CHI)

Tags
Empirical & Behavioral Security
Authors
Full Paper Visit Detail Page