Automatic black box fuzz testing using feedback and evolutionary methods. Master thesis in formal models and verification at JKU. Cited in "Model-Based Testing for Verification Back-ends" by Cyrille Artho, Armin Biere, Martina Seidl.
A project trying to secure an application by encrypting it with the characteristics of the runtime system.
Bachelor thesis in computer graphics at JKU.
Overview of the JP3D standard. Seminar at the institute of Computational Perception.
Seminar in computer graphics at GUP.
Stress test comparison of Apache and IIS.
Basic overview of SPAM.
One of my first documents giving a general overview of computer games.