Martin Berger

Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks

2021 · arXiv (Cornell University)

In this paper, we analyze the security of programming languages and their execution environments (compilers and interpreters) with respect to Spectre attacks. The analysis shows that only 16 out of 42 execution environments have mitigations …

LTL Learning on GPUs

2024 · Lecture notes in computer science

Abstract Linear temporal logic (LTL) is widely used in industrial verification. LTL formulae can be learned from traces. Scaling LTL formula learning is an open problem. We implement the first GPU-based LTL learner using a …