| 2008 |
|---|
| 4 | EE | Johannes Kinder,
Helmut Veith:
Jakstab: A Static Analysis Platform for Binaries.
CAV 2008: 423-427 |
| 2007 |
|---|
| 3 | EE | Andreas Holzer,
Johannes Kinder,
Helmut Veith:
Using Verification Technology to Specify and Detect Malware.
EUROCAST 2007: 497-504 |
| 2 | EE | Mihai Christodorescu,
Somesh Jha,
Johannes Kinder,
Stefan Katzenbeisser,
Helmut Veith:
Software transformations to improve malware detection.
Journal in Computer Virology 3(4): 253-265 (2007) |
| 2005 |
|---|
| 1 | EE | Johannes Kinder,
Stefan Katzenbeisser,
Christian Schallhart,
Helmut Veith:
Detecting Malicious Code by Model Checking.
DIMVA 2005: 174-187 |
