Johannes Kinder
发表
Stefan Katzenbeisser,
Tor Helleseth,
Friedrich L. Bauer,
2011,
Encyclopedia of Cryptography and Security.
George Candea,
Johannes Kinder,
Stefan Bucur,
2013,
APSys.
Helmut Veith,
Johannes Kinder,
Johannes Kinder,
2010,
Formal Methods in Computer Aided Design.
George Candea,
Jonas Wagner,
Johannes Kinder,
2015,
2015 IEEE Symposium on Security and Privacy.
Johannes Kinder,
2014,
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Johannes Kinder,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Lorenzo Cavallaro,
Johannes Kinder,
James Patrick-Evans,
2020,
ACSAC.
Dmitry Kravchenko,
Johannes Kinder,
Johannes Kinder,
2012,
VMCAI.
Neeraj Suri,
Marco Serafini,
Johannes Kinder,
2011,
2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).
Lorenzo Cavallaro,
Johannes Kinder,
Dusan Repel,
2017,
PLAS@CCS.
George Candea,
Johannes Kinder,
Stefan Bucur,
2014,
ASPLOS.
Johannes Kinder,
Johannes Kinder,
2010
.
Stefan Katzenbeisser,
Helmut Veith,
Somesh Jha,
2007,
Journal in Computer Virology.
Helmut Veith,
Andreas Holzer,
Johannes Kinder,
2007,
EUROCAST.
Johannes Kinder,
2012,
2012 19th Working Conference on Reverse Engineering.
Stefan Katzenbeisser,
Helmut Veith,
Christian Schallhart,
2005,
DIMVA.
Helmut Veith,
Florian Zuleger,
Johannes Kinder,
2008,
VMCAI.
Helmut Veith,
Johannes Kinder,
2008
.
George Candea,
Baris Kasikci,
Johannes Kinder,
2013,
HotOS.
Neeraj Suri,
Péter Bokor,
Marco Serafini,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Helmut Veith,
Johannes Kinder,
Johannes Kinder,
2008,
CAV.
Johannes Kinder,
Johannes Kinder,
2010
.
Johannes Kinder,
Duncan Mitchell,
2019,
ESORICS.
Stefan Katzenbeisser,
Helmut Veith,
Christian Schallhart,
2010,
IEEE Transactions on Dependable and Secure Computing.
Daniel Lehmann,
Michael Pradel,
Johannes Kinder,
2020,
USENIX Security Symposium.
Mansour Ahmadi,
Lorenzo Cavallaro,
Giorgio Giacinto,
2017,
CODASPY.
Johannes Kinder,
Duncan Mitchell,
Blake Loring,
2018,
PLDI.
Patrice Godefroid,
Johannes Kinder,
2010,
ISSTA '10.
George Candea,
Johannes Kinder,
Stefan Bucur,
2012,
Software Engineering.
Johannes Kinder,
Duncan Mitchell,
Blake Loring,
2017,
SPIN.
L. Thomas van Binsbergen,
Johannes Kinder,
Duncan Mitchell,
2018,
PEPM.
Stefan Katzenbeisser,
Edgar R. Weippl,
Georg Merzdovnik,
2016,
ACM Comput. Surv..
Lorenzo Cavallaro,
Johannes Kinder,
Claudio Rizzo,
2018,
RAID.
Lorenzo Cavallaro,
Johannes Kinder,
James Patrick-Evans,
2017,
WOOT.
Lorenzo Cavallaro,
Fabio Pierazzi,
Johannes Kinder,
2018,
USENIX Security Symposium.
George Candea,
Johannes Kinder,
Stefan Bucur,
2014
.
Stefan Katzenbeisser,
Helmut Veith,
Johannes Kinder,
2011,
Encyclopedia of Cryptography and Security.
Lorenzo Cavallaro,
Fabio Pierazzi,
Johannes Kinder,
2018,
CCS.
Mansour Ahmadi,
Lorenzo Cavallaro,
Santanu Kumar Dash,
2016,
2016 IEEE Security and Privacy Workshops (SPW).
Johannes Kinder,
Blake Loring,
Johannes Kinder,
2021,
ArXiv.
Hernán Ponce de León,
Johannes Kinder,
Johannes Kinder,
2021,
2022 IEEE Symposium on Security and Privacy (SP).
Johannes Kinder,
James Patrick-Evans,
Moritz Dannehl,
2021,
ArXiv.
Johannes Kinder,
Johannes Kinder,
2015
.