56 citations · 102 across the 6 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.SE2021
Systematic Generation of Conformance Tests for JavaScript
Blake Loring, Johannes Kinder
JavaScript implementations are tested for conformance to the ECMAScript standard using a large hand-written test suite. Not only in this a tedious approach, it also relies solely o…
cs.CR2021
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
Hernán Ponce-de-León, Johannes Kinder
The Spectre family of speculative execution attacks have required a rethinking of formal methods for security. Approaches based on operational speculative semantics have made initi…
cs.CR2021★ 4 cited
XFL: Naming Functions in Binaries with Extreme Multi-label Learning
James Patrick-Evans, Moritz Dannehl, Johannes Kinder
Reverse engineers benefit from the presence of identifiers such as function names in a binary, but usually these are removed for release. Training a machine learning model to predi…