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

Efficient Classification of Locally Checkable Problems in Regular Trees

Conference / Medium

DISC International Symposium on Distributed Computing (DISC)

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

Exponential Speedup Over Locality in MPC with Optimal Memory

Conference / Medium

DISC International Symposium on Distributed Computing (DISC)
Exponential Speedup Over Locality in MPC with Optimal Memory

Tags
Algorithmic Foundations and Cryptography
Authors
  • Alkida Balliu
  • Sebastian Brandt
  • Manuela Fischer
  • Rustam Latypov
  • Yannic Maus
  • Dennis Olivetti
  • Jara Uitto
Full Paper Visit Detail Page
2022-10

Parameterized Complexity of Weighted Multicut in Trees

Conference / Medium

International Workshop on Graph-Theoretic Concepts in Computer Science (WG)

Tags
Algorithmic Foundations and Cryptography
Authors
  • Esther Galby
  • Dániel Marx
  • Philipp Schepper
  • Roohani Sharma
  • Prafullkumar Tale
Full Paper Visit Detail Page
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