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
Home
 Contact
 Teaching
 People
Publications
 Student Projects
Research
Tools
Heroes of Computer Science
 Help

































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