Papers, Slides and Science Stuff



The Universal Automaton --- Construction and NFA Minimization

(RWTH.i7: 2010-01-15)
english paper
german slides

Has been written as part of the seminar on applied automata theory, WS2009, at the chair of computer science 7, RWTH-Aachen.


The Automata Learning Framework (libalf, released october 2009)

(joint work with Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker and Daniel Neider)
Homepage:here
Toolpaper:here

A library implementing multiple learning-algorithms for finite automata.
It was developed at the chair of computer-science 2 and 7 of the RWTH-Aachen. A similar version of this paper has been accepted to CAV 2010 and can now be found in the proceedings.


hacking in physically addressable memory (a.k.a. SEAT1394)

(RWTH.i4: 2007-02-21), (CCCC: 2007-02-22), (DIMVA2007: 2007-07-13)
original version: paper - slides
DIMVA version: proceedings - slides
Source Code: here

This is a proof-of-concept of the 0wn3d by an iPod-Idea (PDF): abusing DirectMemoryAccess to a system (e.g. via IEEE1394).
It was done as part of the Seminar of Advanced Exploitation Techniques (SEAT) at the i4 of the RWTH-Aachen. It was introduced at the i4 and later shown at the OpenChaos of the Chaos Computer Club Cologne. DIMVA 2007 conference. (Fourth GI International Conference on Detection of Intrusions & Malware, and Vulnerability Assessment, Lucerne, Switzerland, July 12th, 2007.)


Das "Cheating Husband"-Puzzle - Eine Einfuehrung

(RWTH.i2: 2007-02-06)
Paper - Slides (both in german)
 Part of the Proseminar WS2006/2007 at the i2 at the RWTH-Aachen.


Was tun, wenn man schon drin ist? - Rootkits nutzen, Spuren finden und verwischen

(CCCC: 2006-09-23) Slides
 Basic introduction to rootkits and other attackers toolkits.
For U23 2006, a youth project of the Chaos Computer Club Cologne.


[contact]
[impressum]