SegInfer: Binary Network Protocol Segmentation Based on Probabilistic Inference | AMiner