Send email Copy Email Address

Publications

Scientific Publications are the most important measure of our scientific excellence and impact. In the past years, CISPA researchers have published many papers at scientific conferences – most of which were in top-tier conferences – and articles in prestigious journals. The publications from 2011 onwards are listed in our publications database, including a direct link to the original paper.

Filter

Year 2022

2022-09-01

Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search

Conference / Medium

ESA
30th Annual European Symposium on Algorithms (ESA 2022)30th Annual European Symposium on Algorithms (ESA 2022)

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page
2022-09-01

SFLKit: A Workbench for Statistical Fault Localization

Conference / Medium

ESEC/FSE
DemonstrationsESEC/FSE 2022

Tags
Threat Detection and Defenses
Authors
Download Visit Detail Page
2022-09

Robust and Scalable Process Isolation against Spectre in the Cloud

Conference / Medium

ESORICS
ESORICSESORICS

Tags
Reliable Security Guarantees
Authors
  • Martin Schwarzl
  • Pietro Borrello
  • Andreas Kogler
  • Kenton Varda
  • Thomas Schuster
  • Daniel Gruss
  • Michael Schwarz
Download Visit Detail Page
2022-09

CPU Port Contention Without SMT

Conference / Medium

ESORICS
ESORICSESORICS 2022

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2022-09

A framework for constructing Single Secret Leader Election from MPC

Conference / Medium

ESORICS
Computer Security – ESORICS 2022ESORICS 2022

Tags
Algorithmic Foundations and Cryptography
Authors
Download Visit Detail Page
2022-09

G-SINC: Global Synchronization Infrastructure for Network Clocks

Conference / Medium

SRDS
Proc. Symposium on Reliable Distributed SystemsSRDS 2022

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2022-08-31

Subterm-based proof techniques for improving the automation and scope of security protocol analysis

Conference / Medium

CSF
eprintCSF 2023

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2022-08-22

Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters

Conference / Medium

MFCS
LIPIcsMFCS 2022

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2022-08-22

Sample Compression Schemes for Balls in Graphs

Conference / Medium

MFCS
LIPIcsMFCS 2022

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page