The paper seem closely related to another paper by all the three authors and the late Len Sassaman, titled "The Halting Problems of Network Stack Insecurity".

The paper seem closely related to another paper by all the three authors and the late Len Sassaman, titled "The Halting Problems of Network Stack Insecurity". http://langsec.org/papers/Sassaman.pdf http://langsec.org/papers/Sassaman.pdf