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

Almost Universally Optimal Distributed Laplacian Solvers via Low-Congestion Shortcuts

Conference / Medium

DISC International Symposium on Distributed Computing (DISC)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Ioannis Anagnostides
  • Christoph Lenzen
  • Bernhard Haeupler
  • Goran Zuzic
  • Themis Gouleakis
Full Paper Visit Detail Page
2022-09-29

Smooth Transition of Vehicles' Maximum Speed for Lane Detection based on Computer Vision

Conference / Medium

IEEE Vehicular Technology Conference (VTC)

Tags
Secure Connected and Mobile Systems
Authors
  • Ghaeini Hamid Reza
  • Tippenhauer Nils Ole
Full Paper Visit Detail Page
2022-09-29

Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties.

Article

International Journal on Software Tools for Technology Transfer

Tags
Threat Detection and Defenses
Authors
  • Hadar Frenkel
  • Orna Grumberg
  • Corina Pasareanu
  • Sarai Sheinvald
Full Paper Visit Detail Page
2022-09-28

Real-time Visualization of Stream-based Monitoring Data

Conference / Medium

International Conference on Runtime Verification (RV)

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

G-SINC: Global Synchronization Infrastructure for Network Clocks

Conference / Medium

Symposium on Reliable Distributed Systems (SRDS)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Marc Frei
  • Jonghoon Kwon
  • Tabaeiaghdaei Seyedali
  • Marc Wyss
  • Christoph Lenzen
  • Adrian Perrig
Full Paper Visit Detail Page
2022-09-20

Realizable and Context-Free Hyperlanguages

Conference / Medium

Games Automata Logics and Formal Verification (GandALF)
Realizable and Context-Free Hyperlanguages

Tags
Reliable Security Guarantees
Authors
  • Hadar Frenkel
  • Sarai Sheinvald
Full Paper Visit Detail Page
2022-09-19

pEncode: A Tool for Visualizing Pen Signal Encodings in Real-Time

Book section

HHAI2022: Augmenting Human Intellect

Tags
Threat Detection and Defenses
Authors
  • Felix Céard-Falkenberg
  • Konstantin Kuznetsov
  • Alexander Prange
  • Michael Barz
  • Daniel Sonntag
Full Paper Visit Detail Page
2022-09-07

On the Adaptive Security of the Threshold BLS Signature Scheme

Conference / Medium

ACM Conference on Computer and Communications Security (CCS)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Renas Bacho
  • Julian Loss
Full Paper Visit Detail Page
2022-09-07

SFLKit: A Workbench for Statistical Fault Localization

Conference / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Tags
Secure Connected and Mobile Systems
Authors
Full Paper Visit Detail Page