Deutsch

Hartle, Michael ; Botchak, Arsene ; Schumann, Daniel ; Mühlhäuser, Max (2008)
A Logic-based Approach to the Formal Description of Data Formats.
Konferenzveröffentlichung, Bibliographie

Hartle, Michael ; Schumann, Daniel ; Botchak, Arsene ; Tews, Erik ; Mühlhäuser, Max (2008)
Describing Data Format Exploits using Bitstream Segment Graphs <b> (best paper award)</b>.
Konferenzveröffentlichung, Bibliographie

Englisch

Hartle, Michael ; Fuchs, Andreas ; Ständer, Marcus ; Schumann, Daniel ; Mühlhäuser, Max (2009)
Data Format Description and its Applications in IT Security.
In: International Journal On Advances in Security, 2 (1)
Artikel, Bibliographie