Extension of SPIKE for Encrypted Protocol Fuzzing | IEEE Conference Publication | IEEE Xplore