Known Vulnerabilities in PicoTCP