Rogdham

The halting problems of network stack insecurity

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:

This article is released under the CC BY-SA licence.

The attached presentation in released under the CC BY-SA licence as well, but some restrictions may apply; see the second slide for more details.

Short URL: http://r.rogdham.net/17.