Binary analysis - Brief overview

This article was written during an IT security related seminar at the university. It deals with several binary analysis techniques and introduces the BitBlaze project. Also have a look at the final presentation.

Read the article at FU Berlin.

Concurrent annotations

The article introduces a new way to “convert” sequential programming languages to non-sequential ones using concurrent annotations. It looks at CEiffel (Concurrent Eiffel) and JAC (Declarative Java Concurrency) for language specific annotations to establish the concurrency aspect. Also have a look at the final presentation.

Viral infections under Linux

This skilled work from 2007 deals with malware (especially viruses) on Linux. You’ll get a pretty good introduction to the world of viruses, how they work and how they are built. Finally my work focuses on ELF (Executable and Linking Format) since this is de-facto the standard for executable files not only for Linux. This is was my final paper in order to get my school leaving examination (german: Abitur).