Protocol state fuzzing of TLS implementations
automated reverse engineering using lego® .