Rogdham

The halting problems of network stack insecurity

Mar 15 2013

As part of my studies at the University of Birmingham, I had to chose a security paper and present it.

So I am giving a one hour presentation of the following paper: The halting problems of network stack insecurity by Len Sassaman, Meredith L. Patterson, Sergey Bratus and Anna Shubina (;login: The USENIX Magazine, vol. 36, no. 6, December 2011).

To make a long story short, this paper is applying some language theory to detect where security flaws are likely to appear, both in the design of a protocol and its implementations. If you want to know more, I recommend reading it, or going to the langsec website which lists relevant papers, video, talks and funny pictures.

So here are the slides of my presentation:

• normal version, 2.1Mio
• version with “pauses”, 2.2Mio