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 2022

2022-08

SAPIC+:
protocol verifiers of the world, unite!

Conference / Medium

Usenix Security Symposium (USENIX-Security)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2022-08

Syndrome Decoding in the Head:
Shorter Signatures from Zero-Knowledge Proofs

Conference / Medium

Advances in Cryptology (CRYPTO) Lecture Notes in Computer Science

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2022-08

Gossiping for Communication-Efficient Broadcast

Conference / Medium

Advances in Cryptology (CRYPTO) Lecture Notes in Computer Science

Tags
Algorithmic Foundations and Cryptography
Authors
  • Georgios Tsimos
  • Julian Loss
  • Charalampos Papamanthou
Full Paper Visit Detail Page
2022-08

Locally Checkable Problems in Rooted Trees

Article

Distributed Computing

Tags
Algorithmic Foundations and Cryptography
Authors
  • Alkida Balliu
  • Sebastian Brandt
  • Yi-Jun Chang
  • Dennis Olivetti
  • Jan Studený
  • Jukka Suomela
  • Aleksandr Tereshchenk
Full Paper Visit Detail Page
2022-08

(Nondeterministic) Hardness vs. Non-Malleability

Conference / Medium

Advances in Cryptology (CRYPTO)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Marshall Ball
  • Dana Dachman-Soled
  • Julian Loss
Full Paper Visit Detail Page
2022-08

Software Verification of Hyperproperties Beyond k-Safety

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2022-08

The Security Lottery:
Measuring Client-Side Web Security Inconsistencies

Conference / Medium

Usenix Security Symposium (USENIX-Security)

Tags
Empirical & Behavioral Security
Authors
  • Sebastian Roth
  • Stefano Calzavara
  • Moritz Wilhelm
  • Alvise Rabitti
  • Ben Stock
Full Paper Visit Detail Page
2022-08

CHIP and CRISP:
Protecting All Parties Against Compromise through Identity-Binding PAKEs

Conference / Medium

Advances in Cryptology (CRYPTO) Advances in Cryptology – CRYPTO 2022

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2022-07-25

Distributed Edge Coloring in Time Polylogarithmic in Δ

Conference / Medium

ACM Symposium on Principles of Distributed Computing (PODC) Distributed Edge Coloring in Time Polylogarithmic in Δ

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page