Johannes Kinder

POTUS: probing off-the-shelf USB drivers with symbolic fault injection

2017 · Research Portal (King's College London)

USB client device drivers are a haven for software bugs, due to the sheer variety of devices and the tendency of maintenance to slip as devices age.At the same time, the high privilege level of …

Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks

2021 · arXiv (Cornell University)

The Spectre family of speculative execution attacks have required a rethinking of formal methods for security. Approaches based on operational speculative semantics have made initial inroads towards finding vulnerable code and validating defenses. However, with …