Johannes Kinder

发表

Stefan Katzenbeisser, Edgar R. Weippl, Georg Merzdovnik, 2016, ACM Comput. Surv..

Lorenzo Cavallaro, Fabio Pierazzi, Johannes Kinder, 2018, USENIX Security Symposium.

Mansour Ahmadi, Lorenzo Cavallaro, Santanu Kumar Dash, 2016, 2016 IEEE Security and Privacy Workshops (SPW).

Mansour Ahmadi, Lorenzo Cavallaro, Giorgio Giacinto, 2017, CODASPY.

Stefan Katzenbeisser, Helmut Veith, Christian Schallhart, 2005, DIMVA.

S. Katzenbeisser, S. Jha, Johannes Kinder, 2005 .

Stefan Katzenbeisser, Tor Helleseth, Friedrich L. Bauer, 2011, Encyclopedia of Cryptography and Security.

Johannes Kinder, James Patrick-Evans, Moritz Dannehl, 2021, 2107.13404.

Feargus Pendlebury, Fabio Pierazzi, L. Cavallaro, 2023, IEEE Security & Privacy.

Dmitry Kravchenko, Johannes Kinder, Johannes Kinder, 2012, VMCAI.

George Candea, Johannes Kinder, Stefan Bucur, 2012, Software Engineering.

Daniel Lehmann, Michael Pradel, Johannes Kinder, 2020, USENIX Security Symposium.

Lorenzo Cavallaro, Johannes Kinder, James Patrick-Evans, 2020, ACSAC.

Johannes Kinder, Duncan Mitchell, Blake Loring, 2018, PLDI.

Johannes Kinder, James Patrick-Evans, Moritz Dannehl, 2021, 2023 IEEE Symposium on Security and Privacy (SP).

Helmut Veith, Johannes Kinder, Johannes Kinder, 2008, CAV.

Lorenzo Cavallaro, Fabio Pierazzi, Johannes Kinder, 2018, CCS.

Helmut Veith, Florian Zuleger, Johannes Kinder, 2008, VMCAI.

Stefan Katzenbeisser, Helmut Veith, Johannes Kinder, 2011, Encyclopedia of Cryptography and Security.

Stefan Katzenbeisser, Helmut Veith, Christian Schallhart, 2010, IEEE Transactions on Dependable and Secure Computing.

Hernán Ponce de León, Johannes Kinder, Johannes Kinder, 2021, 2022 IEEE Symposium on Security and Privacy (SP).

Lorenzo Cavallaro, Johannes Kinder, James Patrick-Evans, 2017, WOOT.

Helmut Veith, Johannes Kinder, Johannes Kinder, 2010, Formal Methods in Computer Aided Design.

Neeraj Suri, Marco Serafini, Johannes Kinder, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).

Johannes Kinder, Blake Loring, Johannes Kinder, 2021, ArXiv.

Johannes Kinder, Duncan Mitchell, Blake Loring, 2017, SPIN.

Johannes Kinder, James Patrick-Evans, Moritz Dannehl, 2021, ArXiv.

Feargus Pendlebury, Fabio Pierazzi, L. Cavallaro, 2018, CCS.

Johannes Kinder, Johannes Kinder, 2010 .

George Candea, Johannes Kinder, Stefan Bucur, 2013, APSys.

George Candea, Jonas Wagner, Johannes Kinder, 2015, 2015 IEEE Symposium on Security and Privacy.