Johannes Kinder

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Helmut Veith

> Home > Persons > Johannes Kinder

Publications

2011
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/crypt/KatzenbeisserKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crypt/KatzenbeisserKV11
Stefan Katzenbeisser, Johannes Kinder, Helmut Veith:
Malware Detection. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 752-755
2010
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/KinderKSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/KinderKSV10
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Secur. Comput. 7(4): 424-438 (2010)
[c6]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/KinderV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KinderV10
Johannes Kinder, Helmut Veith:
Precise static analysis of untrusted driver binaries. FMCAD 2010: 43-50
2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/KinderZV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/KinderZV09
Johannes Kinder, Florian Zuleger, Helmut Veith:
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. VMCAI 2009: 214-228
2008
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KinderV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KinderV08
Johannes Kinder, Helmut Veith:
Jakstab: A Static Analysis Platform for Binaries. CAV 2008: 423-427
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/virology/ChristodorescuJKKV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/virology/ChristodorescuJKKV07
Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith:
Software transformations to improve malware detection. J. Comput. Virol. 3(4): 253-265 (2007)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/HolzerKV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/HolzerKV07
Andreas Holzer, Johannes Kinder, Helmut Veith:
Using Verification Technology to Specify and Detect Malware. EUROCAST 2007: 497-504
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dimva/KinderKSV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimva/KinderKSV05
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Detecting Malicious Code by Model Checking. DIMVA 2005: 174-187

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.