C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson: Eliminating network protocol vulnerabilities through abstraction and systems language design. ICNP 2013: 1-6