Chair of Programming Languages and AI
print


Breadcrumb Navigation


Content
Professor Dr. Johannes Kinder

Prof. Dr. Johannes Kinder

Head of Group

Contact

Ludwig-Maximilians-Universität München
Institut für Informatik
PLAI - Lehrstuhl für Programmiersprachen und KI
Oettingenstr. 67
80538 München
Germany

Room: E104
Phone: +49-89-2180-9310

Office hours:
Appointments by e-mail.

Short Biography

Prof. Dr. Johannes Kinder is Professor and Chair of Programming Languages and Artificial Intelligence at the Institute of Informatics at LMU Munich. In his research, he works on securing software systems using program analysis and machine learning. He focuses on the detection of software vulnerabilities and malware, reverse engineering, and on instrumenting software to prevent exploitation. Hailing from a background in formal methods, he enjoys applying well-founded theory to concrete problems in systems security.

Before joining LMU, Johannes Kinder held positions as full professor at the Research Institute CODE of Bundeswehr University Munich and at Royal Holloway, University of London. He was a postdoctoral researcher at École Polytechnique Fédérale de Lausanne (EPFL) and earned his doctorate from TU Darmstadt and his Diplom from TU München, both in Computer Science.

Conference and Workshop Organization

Program Committee Memberships

Selected Publications

A list of all publications can be found here or on DBLP and Google Scholar.

James Patrick-Evans, Moritz Dannehl, and Johannes Kinder. XFL: Naming Functions in Binaries with Extreme Multi-label Learning. In Proc. IEEE Symp. Security and Privacy (S&P), pp. 1677–1692, IEEE, 2023.
BibTeX PDF

@inproceedings{oakland23-xfl,
    author = {James Patrick-Evans and Moritz Dannehl and Johannes Kinder},
    title = {XFL: Naming Functions in Binaries with Extreme Multi-label Learning},
    booktitle = {Proc. IEEE Symp. Security and Privacy (S\&P)},
    pages = {1677--1692},
    publisher = {IEEE},
    year = {2023},
    doi = {10.1109/SP46215.2023.00096}
}

Hernán Ponce-de-León and Johannes Kinder. Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. In Proc. IEEE Symp. Security and Privacy (S&P), pp. 1415–1428, IEEE, 2022.
BibTeX PDF

@inproceedings{oakland22-cats-vs-spectre,
    author = {Hern{\'a}n Ponce-de-Le{\'o}n and Johannes Kinder},
    title = {Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks},
    booktitle = {Proc. IEEE Symp. Security and Privacy (S\&P)},
    pages = {1415--1428},
    publisher = {IEEE},
    year = {2022},
    doi = {10.1109/SP46214.2022.00082}
}

Daniel Lehmann, Johannes Kinder, and Michael Pradel. Everything Old is New Again: Binary Security of WebAssembly. In 29th USENIX Security Symposium (USENIX Security), pp. 217–234, USENIX Association, 2020.
BibTeX PDF

@inproceedings{usenixsecurity20-wasm,
    author = {Daniel Lehmann and Johannes Kinder and Michael Pradel},
    title = {Everything Old is New Again: Binary Security of WebAssembly},
    booktitle = {29th USENIX Security Symposium (USENIX Security)},
    pages = {217--234},
    publisher = {USENIX Association},
    year = {2020}
}

Feargus Pendlebury, Fabio Pierazzi, Roberto Jordaney, Johannes Kinder, and Lorenzo Cavallaro. TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time. In 28th USENIX Security Symposium (USENIX Security), pp. 729–746, USENIX Association, 2019.
BibTeX PDF

@inproceedings{usenixsecurity19-tesseract,
    author = {Feargus Pendlebury and Fabio Pierazzi and Roberto Jordaney and Johannes Kinder and Lorenzo Cavallaro},
    title = {TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time},
    booktitle = {28th USENIX Security Symposium (USENIX Security)},
    pages = {729--746},
    publisher = {USENIX Association},
    year = {2019}
}

Blake Loring, Duncan Mitchell, and Johannes Kinder. Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript. In Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), pp. 425–438, ACM, 2019.
BibTeX PDF

@inproceedings{pldi19-regex,
    author = {Blake Loring and Duncan Mitchell and Johannes Kinder},
    title = {Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript},
    booktitle = {Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI)},
    pages = {425--438},
    publisher = {ACM},
    year = {2019},
    doi = {10.1145/3314221.3314645}
}

Jonas Wagner, Volodymyr Kuznetsov, George Candea, and Johannes Kinder. High System-Code Security with Low Overhead. In Proc. IEEE Symp. Security and Privacy (S&P), pp. 866–879, IEEE, 2015.
BibTeX PDF

@inproceedings{oakland15-asap,
    author = {Jonas Wagner and Volodymyr Kuznetsov and George Candea and Johannes Kinder},
    title = {High System-Code Security with Low Overhead},
    booktitle = {Proc. IEEE Symp. Security and Privacy (S\&P)},
    pages = {866--879},
    publisher = {IEEE},
    year = {2015}
}

Stefan Bucur, Johannes Kinder, and George Candea. Prototyping Symbolic Execution Engines for Interpreted Languages. In Proc. 19th Int. Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 239–254, ACM, 2014.
BibTeX PDF

@inproceedings{asplos14-chef,
    author = {Stefan Bucur and Johannes Kinder and George Candea},
    title = {Prototyping Symbolic Execution Engines for Interpreted Languages},
    booktitle = {Proc. 19th Int. Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS)},
    pages = {239--254},
    publisher = {ACM},
    year = {2014},
    doi = {10.1145/2541940.2541977}
}

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, and George Candea. Efficient state merging in symbolic execution. In Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), pp. 193–204, ACM, 2012.
BibTeX PDF

@inproceedings{pldi12-statemerging,
    author = {Volodymyr Kuznetsov and Johannes Kinder and Stefan Bucur and George Candea},
    title = {Efficient state merging in symbolic execution},
    booktitle = {Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI)},
    pages = {193--204},
    publisher = {ACM},
    year = {2012}
}

Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, and Helmut Veith. Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Sec. Comput., 7(4):424–438, October 2010.
BibTeX PDF

@article{tdsc10-mocca,
    author = {Johannes Kinder and Stefan Katzenbeisser and Christian Schallhart and Helmut Veith},
    title = {Proactive Detection of Computer Worms Using Model Checking},
    journal = {IEEE Trans. Dependable Sec. Comput.},
    volume = {7},
    number = {4},
    pages = {424--438},
    year = {2010},
    month = {October}
}

Johannes Kinder and Helmut Veith. Jakstab: A Static Analysis Platform for Binaries. In Proc. 20th Int. Conf. Computer Aided Verification (CAV), pp. 423–427, Springer, 2008.
BibTeX PDF

@inproceedings{cav08-jakstab,
    author = {Johannes Kinder and Helmut Veith},
    title = {Jakstab: A Static Analysis Platform for Binaries},
    booktitle = {Proc. 20th Int. Conf. Computer Aided Verification (CAV)},
    series = {LNCS},
    volume = {5123},
    pages = {423--427},
    publisher = {Springer},
    year = {2008},
    booktitleshort = {CAV}
}