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

Laconic Private Set Intersection and Applications

chapter

Theory of Cryptography

Tags
Algorithmic Foundations and Cryptography
Authors
  • Navid Alamati
  • Pedro Branco
  • Nico Döttling
  • Sanjam Garg
  • Mohammad Hajiabadi
  • Sihang Pu
Full Paper Visit Detail Page
2021-11-04

Rate-1 Quantum Fully Homomorphic Encryption

chapter

Theory of Cryptography

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

On the Impossibility of Purely Algebraic Signatures

chapter

Theory of Cryptography

Tags
Algorithmic Foundations and Cryptography
Authors
  • Nico Döttling
  • Dominik Hartmann
  • Dennis Hofheinz
  • Eike Kiltz
  • Sven Schäge
  • Bogdan Ursu
Full Paper Visit Detail Page
2021-11

What's in the Box? Exploring the Inner Life of Neural Networks with Robust Rules

Conference / Medium

International Conference on Machine Learning (ICML)

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

ANYway: Measuring the Amplification DDoS Potential of Domains

Conference / Medium

International Conference on Network and Service Management (CNSM)

Tags
Threat Detection and Defenses
Authors
  • Olivier van der Toorn
  • Johannes Krupp
  • Mattijs Jonker
  • Roland van Rijswijk-Deij
  • Christian Rossow
  • Anna Sperotto
Full Paper Visit Detail Page
2021-10-23

Visual Analysis of Hyperproperties for Understanding Model Checking Results

Conference / Medium

IEEE Visualization Conference (VIS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2021-10-21

Validation of Side-Channel Models via Observation Refinement

Conference / Medium

IEEE/ACM International Symposium on Microarchitecture (MICRO)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Pablo Buiras
  • Hamed Nemati
  • Andreas Lindner
  • Roberto Guanciale
Full Paper Visit Detail Page
2021-10-20

QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems

Article

Proceedings of the ACM on Programming Languages

Tags
Reliable Security Guarantees
Authors
  • Nouraldin Jaber
  • Christopher Wagner
  • Swen Jacobs
  • Milind Kulkarni
  • Roopsha Samanta
Full Paper Visit Detail Page
2021-10-18

Compositional Synthesis of Modular Systems

chapter

Automated Technology for Verification and Analysis

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page