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.
Info

2006

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