Eliminating network protocol vulnerabilities through abstraction and systems language design.

C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson

Browse the full ICNP paper archive.