leveraging state information for automated attack discovery in transport protocol implementations published presentations and documents on DocSlides.