Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications by Andreas Holzer

To appear

Andreas Holzer, Johannes Kinder, and Helmut Veith. Using verification technology to specify and detect malware. In 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007), Lecture Notes in Computer Science. Springer, To appear.


Andreas Holzer. Description Languages for Malicious Software. Master's thesis, Technische Universität München, November 2006.