TY  - RPRT
TI  - Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design
AU  - C. Jasson Casey
AU  - Andrew Sutton
AU  - Gabriel Dos Reis
AU  - Alex Sprintson
PY  - 2013
UR  - https://arxiv.org/abs/1311.3336
ID  - 1311.3336
ER  -