Concepedia

Johannes Kinder

JK

Statistics

Publications

6

Citations

192

H-Index

6

Active since

2010

Affiliations

Universität der Bundeswehr München(Current)

Royal Holloway University of London

Technische Universität Darmstadt

Johannes Kinder is an author at Universität der Bundeswehr München specializing in computer science, computing, and computer systems.

Publications per year

2010–2023

6

Publications

6

High System-Code Security with Low Overhead

Jonas Wagner, Volodymyr Kuznetsov, George Candea et al. · 2015 · 47 citations · Full text

Computing, Computer Science, Computer Systems +9

Everything Old is New Again: Binary Security of WebAssembly

Daniel Lehmann, Johannes Kinder, Michael Pradel · USENIX Security Symposium · 2020 · 45 citations

Computing, Computer Science, Cybersecurity +9

Proving memory safety of floating-point computations by combining static and dynamic program analysis

Patrice Godefroid, Johannes Kinder · 2010 · 32 citations · Full text

Computing, Computer Engineering, Computer Science +17

Precise static analysis of untrusted driver binaries

Johannes Kinder, Helmut Veith · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2010 · 26 citations · Full text

Computing, Computer Science, Computer Systems +9

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

Hernán Ponce-de-León, Johannes Kinder · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 25 citations

Computing, Computer Science, Computer Systems +17

1–5 of 6