Testen en verifiëren van netwerk protocol implementaties

Het doel van het voorgestelde project is beveiligingsbugs op te sporen en te voorkomen in implementaties van netwerkprotocollen zoals OpenSSL.