C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson. Eliminating network protocol vulnerabilities through abstraction and systems language design. In 2013 21st IEEE International Conference on Network Protocols, ICNP 2013, Göttingen, Germany, October 7-10, 2013. pages 1-6, IEEE, 2013. [doi]
Abstract is missing.