1 paper · 1 filter
Yule Han, Kezhi Wang, Yizhe Zhao +1
The Transmission Control Protocol (TCP) relies on deterministic state machines and sequence-number arithmetic to ensure reliable communication. However, hard-coded protocol logic i…