A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations.

Laurent Burgy, Laurent Rveillre, Julia L. Lawall, Gilles Muller

Browse the full SRDS paper archive.