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: