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

Learning to Walk Impartially on the Pareto Frontier of Fairness, Privacy, and Utility

Conference / Medium

Conference on Neural Information Processing Systems (NeurIPS)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2023-10-28

Regulation Games for Trustworthy Machine Learning

Conference / Medium

NeurIPS-Workshop (NeurIPS-W)

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2023-10-23

Fast Coloring Despite Congested Relays.

Conference / Medium

DISC International Symposium on Distributed Computing (DISC)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Maxime Flin
  • Magnús M Halldórsson
  • Alexandre Nolin
Full Paper Visit Detail Page
2023-10-22

Cloud Watching: Understanding Attacks Against Cloud-Hosted Services

Conference / Medium

ACM Internet Measurement Conference (IMC)

Tags
Empirical & Behavioral Security
Authors
  • Liz Izhikevich
  • Manda Tran
  • Michalis Kallitsis
  • Zakir Durumeric
  • Aurore Fass
Full Paper Visit Detail Page
2023-10-20

Securing Your Crypto-API Usage Through Tool Support - A Usability Study

Conference / Medium

IEEE Cybersecurity Development (SecDev)

Tags
Empirical & Behavioral Security
Authors
  • Stefan Krüger
  • Michael Reif
  • Anna-Katharina Wickert
  • Sarah Nadi
  • Karim Ali
  • Eric Bodden
  • Yasemin Acar
  • Mira Mezini
  • Sascha Fahl
Full Paper Visit Detail Page
2023-10-19

Checking and Sketching Causes on Temporal Sequences

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-10-19

Leveraging Static Analysis: An IDE for RTLola

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-10-16

Automated Ambiguity Detection in Layout-Sensitive Grammars

Article

Proceedings of the ACM on Programming Languages

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2023-10-16

Container Orchestration Honeypot: Observing Attacks in the Wild

Conference / Medium

International Symposium on Research in Attacks Intrusions and Defenses (RAID)

Tags
Threat Detection and Defenses
Authors
  • Noah Spahn
  • Nils Hanke
  • Thorsten Holz
  • Christopher Kruegel
  • Giovanni Vigna
Full Paper Visit Detail Page